Re: [coreboot] [PATCH] small keyboard.c fix