[SeaBIOS] [PATCH 07/10] kbd: Ignore fake shift keys