tools/include: use stdint types for user-space byteshift headers