[PATCH 3/4] kernelbase: Use the %I length modifier to print pointer-size integers.