[coreboot] [patch] avoid printf format warning in debugging path

[Jonathan A. Kollasch]

Use %p instead of %x to print void *.

Signed-off-by: Jonathan Kollasch 
Acked-by: Jonathan Kollasch 
---