[OpenBIOS] r723 - cpu/x86/pc/olpc ofw/inet