64bit hex printing, and got interrupts to show up