[OpenBIOS] r431 - dev/olpc/kb3700