Re: [coreboot] ISP header for x60, fallback: indicating normal boot from grub2