Re: [coreboot] [PATCH] Auto-pick working PCI ops if none are set