[OpenBIOS] r641 - dev/olpc/kb3700