[coreboot] Reading the T530 BIOS chips