[PATCH] ppc64: print negative numbers correctly in boot wrapper