x86: make x86_32 use tlb_64.c