[PATCH] vmx: Fix register constraint in launch code