x86: fix duplicated TIF on 64-bit