[coreboot] Re: [PATCH] x86_64 support needs testing