Common stdint.h typedefs
Implemented x86 GDT