userboot/test should use PRIx64 as one would expect from prefix 0x

Test is printing decimal value after prefix 0x.