Re: [LinuxBIOS] readl and read32