Kernel: fix sys_trace

Change-Id: I44bdd3b1d79bf751923581b75c3d44f011d2a5e0