[LinuxBIOS] difference between uint16_t and u16