Add linux/types.h
Add ux/x86/types.h