[coreboot] Re: Deprecating spurious PCI bus master enabling (was Re: Planning the next coreboot release)