[PATCH] x86-64: Use X86_EFLAGS_IF in x86-64/irqflags.h.