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