[coreboot] Re: Debugging undetected SATA disk?