Fix context switch bug: again gcc emits the wrong function parameters order according the the ABI