[coreboot] [coreboot - Bug #563] (New) tty doesn't show on external display using edk2 on W530