change the ABI to use R8 instead of R7 to pass system call/ISR number