[PATCH] ppc64 boot: print firmware provided stackpointer