Change debug printfs to be optional on DEBUG. For quiet kernel during
heavy test sessions.