x86: ignore the sys_getcpu() tcache parameter