[OpenBIOS] [PATCH 4/5] Introduce physical address type