Zebediah Figura : kernelbase: Use the %I length modifier to print pointer-size integers.