For people having install issues with HAXM - specifically this issue: "Failed to configure driver: unknown error. Failed to open driver".
I discovered that the issue is the digital signed catalog for the 64bit driver is named wrong in the install.
It is named IntelHaxm_x64.cat in the inf file for the driver: CatalogFile.ntamd64=IntelHaxm_x64.cat
but the file that is in the folder is named intelhaxm_x86.cat - this is the name for the 32bit OS driver.
So this is what I did to fix it.