This requires adding flags to the magic syscall comment so that we can
mark sys_exec as using INT instead of SYSCALL for entry.