[coreboot] Re: Reading the T530 BIOS chips