General question about Intel and AMD virtualiztion support in hardware