[coreboot] libpci accesses in CAR, I need a suggestion