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