[coreboot] [PATCH] rework keyboard driver