fixed kprintf not handling multiple parameters