x86: fix broken flushing in GART nofullflush path