[coreboot] [coreboot - Bug #552] (New) X201 not booting with edk2 payload