[coreboot] Re: Verified boot on AMD Picasso