[coreboot] SeaBIOS boot menu key changed to ESC