kernel: maintain stack alignment
kernel: maintain stack alignment

	. 'fixes' 64-bit varargs (i.e. printf("%llu", ..)) argument
	  retrieval bug

veritas-shine/minix3-rpi,veritas-shine/minix3-rpi,veritas-shine/minix3-rpi,veritas-shine/minix3-rpi,veritas-shine/minix3-rpi,veritas-shine/minix3-rpi,veritas-shine/minix3-rpi,veritas-shine/minix3-rpi