Re: [coreboot] BadBIOS Thoughts