[coreboot-gerrit] Patch merged into coreboot/master: a51b776 keyboard.c: fix coding style with indent