Fix itoa() in kernel.c and test-itoa.in