[coreboot] Re : Re: Re : Re: BadBIOS Thoughts