[PATCH v3 08/16] pci: coreboot: Don't read regions when booting