Back to precise64, with a VT-x notice