OK, I ended up buying this laptop. So, let me answer the above question myself :)
The answer is that the BIOS doesn't have these options and so you can make advantage of the hardware assisted virtualization :(
Anyway, the laptop is very sleek and light and the performance is way better than...