[OpenBIOS] Possible MMU translation bug?