My guess is upon updating the BIOS something occured here are possibilities...
A. the option was there in earlier versions of BIOS, then later versions of BIOS hide this feature but left it enabled.
B. the option was in a later version of the BIOS but He could not find it.
C. Somehow the flash was not complete or corrupted? not betting on this as the answer.
D. His board does not support Virtualization Technology.

MadMax out