Remove the generic kernel/kern/do_exception files to handle exceptions in HAL. The HAL call only the vmm_handle_page_fault() function if required.