This should be moved to line 418 (Where CONFIG_FIQ_DEBUGGER is commented out)