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
1 file changed