[OpenBIOS] r536 - dev/olpc/kb3700