[OpenBIOS] r399 - cpu/x86/pc/olpc/sdtools