Re: [coreboot] SeaBIOS boot menu key changed to ESC