[OpenBIOS] r788 - dev/olpc/keyboard