Re: [coreboot] [PATCH 1/4] Make initializing PS2 keyboard optional.