Created by: fhahn
2e9f20e4 made get_clean_call_switch_stack_size() 8-byte aligned for ARM, which is required by the "Procedure Call Standard for the ARM Architecture [AAPCS]" [1]. priv_mcontext_t on ARM contains 17 4-byte slots, which is why an extra adjustment is needed in insert_push_all_registers.
[1] http://infocenter.arm.com/help/index.jsp?topic=/com.arm.doc.faqs/ka4127.html
Unfortunately I do not have access to AArch32 HW for a couple of days and cannot verify if that fixes the AArch32 problem for now.