Fix interrupt handler for BCM2835
Use the right debug function (debug_print rather than printp_out)