[coreboot] [1/2] coreboot cleanup: readl -> read32, writel -> write32