added a lot of printk output to ease writing of emulator