[OpenBIOS] r812 - dev/olpc/keyboard