The format specifier "%p" can leak kernel addresses.
Use "%pK" instead.
Signed-off-by: Loic Pallardy <loic.pallardy@st.com>
Signed-off-by: Bjorn Andersson <bjorn.andersson@linaro.org>