Re: [coreboot] v2: Two coding issues: asm invd, pci resources