Bug fixes to MMU HAL