This reverts commit3fbb24680c. As I mentioned in #11131, this fix is not correct, and works around the problem. The real reason was that arch_debug_call_with_fault_handler was not working properly, so the fault handler went crazy. With commiteb92810that is fixed so this can be reverted.