What Dell server hardware supports full virtualization of Windows OS's under Linux. I know the AMD process have it but I understand that the Intel processors have to have it enabled in the BIOS. What server models have this available today ? TIA Alan