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