x86: update reference for PAE tlb flushing