[patch 12/16] kernel/sys.c: fix potential Spectre v1 issue