[OpenBIOS] r789 - dev/olpc/keyboard