[OpenBIOS] r804 - dev/olpc/kb3700