You can avoid it. They didn't disable it, but implemented MSR which disables it. Don't configure this MSR to disable HLE and you're good.