linux/kernel.h: printf => kprintf
linux/kernel.h: Implement swap()