[PATCH] correct the comment about stackpointer alignment in __boot_from_prom