Re: [PATCH 07/13] pci: coreboot: Don't read regions when booting