[coreboot] [PATCH] small keyboard.c fix