AVX support broken

[alexdboxall]

Enabling AVX code causes a hang in VirtualBox.

Offending code:
arch/i386/hal.c

if (avxDetect()) {
	coproSaveFunc = avxSave;
	coproLoadFunc = avxLoad;
	avxInit();
	return;
}

Not sure if issue caused by avxDetect(), avxInit() or calling coproSaveFunc/coproLoadFunc and having avxSave/avxLoad called.