[OpenBIOS] r523 - dev/olpc/kb3700