`klog(LOG_INFO, "this: %d", 123);` prints garbage. Also, need to change `%x` modifier to print hex.
klog(LOG_INFO, "this: %d", 123);prints garbage.Also, need to change
%xmodifier to print hex.