Return result of vCPU advance in fault handler

Signed-off-by: Ivan Velickovic <[email protected]>

src/arch/aarch64/fault.c

@@ -376,7 +376,7 @@ bool fault_handle_vm_exception(size_t vcpu_id)
         tcb_print_regs(vcpu_id);
         vcpu_print_regs(vcpu_id);
     } else {
-        fault_advance_vcpu(vcpu_id, &regs);
+        return fault_advance_vcpu(vcpu_id, &regs);
     }
 
     return success;