Created by: fhahn
This patch adds a get_ABI_stack_alignment function as a follow-up of a3ff20ee. It also updates prepare_for_clean_call to check if the stack pointer is aligned properly on all platforms.
This is an updated version of #2543, because I messed up the commit history in that branch.