[SeaBIOS] Re: [PATCH] kbd: Fix compilation with Chrome OS toolchain