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