[exec] Fix user stack setup.

[MichalBlk]

The current code assumes that malloc's ALIGNMENT is divisible by STACK_ALIGN. Although it turns out to be always valid for the present implementation, this assumption should be dropped.