firmware-tools/ptgen: use stdint types for struct pte