[PATCH] x86_64: Fix some comments in tlbflush.h