guarantee that the stack is aligned to 16 byte
guarantee that the stack is aligned to 16 byte

RWTH-OS/HermitCore,RWTH-OS/HermitCore,stlankes/HermitCore,stlankes/HermitCore,stlankes/HermitCore,RWTH-OS/HermitCore,stlankes/HermitCore,stlankes/HermitCore,stlankes/HermitCore,RWTH-OS/HermitCore,RWTH-OS/HermitCore,RWTH-OS/HermitCore