x86: cleanup tlbflush.h variants