vmm: x86: set reserved bits in rflags for smp boot