in the previous commit. - Use device_printf instead of printf. - Put all printfs in the interrupt handler under bootverbose.