Re: [LinuxBIOS] difference between uint16_t and u16