RE: [LinuxBIOS] readl and read32