[OpenBIOS] r571 - dev/olpc/kb3700