vthread: x86: set the reserved bits in rflags