To install a 64-bit OS on a 64-bit PC, your processor needs to support CMPXCHG16b, PrefetchW, and LAHF/SAHF
those instructions are only missing on very early athlon64s. they certainly have nothing to do with SSE4 at all. if windows 8.1 didn't support that, there would be a massive list of cpus it wouldn't work on.