tree bf71e4ddfdd1ee67398512509012b84c0bd47998
parent 2734fba5567e516a4839ee392a12fe8524e89a22
author Petri Gynther <pgynther@google.com> 1464982831 -0700
committer John Newlin <jnewlin@google.com> 1466531926 -0700

kernel/printk/printk.c: fix printing of phys_addr_t

Per Documentation/printk-formats.txt, use %pa for printing phys_addr_t.

Change-Id: I1e27042c35fc54b162a7e73317c2681fddaef18b