[OpenBIOS] r440 - dev/olpc/kb3700