[LinuxBIOS] readl and read32