I have a desktop with an Intel 5820K in it. I am well versed with CPU architectures, so I know it is a Haswell-E, i7 processor. However, what subarch should I use for the installation? I would guess intel64-haswell, but the 5820K is a 5th generation i7 CPU and the Haswell subarch only mentions 4th generation. Will a native Haswell-E subarch be introduced soon?