missed one place where we need SYSCALL_OFFSET

Pointed out by Markos Chandras <Markos.Chandras@imgtec.com>