armv8: Remove debug printf
@@ -239,8 +239,6 @@ void handle_irq(arch_registers_state_t* save_area, uintptr_t fault_pc,
irq = platform_get_active_irq();
- printf("handle_irq IRQ %"PRIu32"\n", irq);
-
debug(SUBSYS_DISPATCH, "IRQ %"PRIu32" while %s\n", irq,
dcb_current ? (dcb_current->disabled ? "disabled": "enabled") :
"in kernel");
