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