[PATCH] x86_64: allow setting RF in EFLAGS