[LinuxBIOS] #55: Support for Intel Virtualization Technology (IVT) a.k.a Vanderpool