Fix bounds check in sceKernelPrintf().

Wasn't allowing a string ending in %08x.