Как Вы выполняете PHP? Если Вы будете работать, то это в режиме FCGI с внешним spawner, перезапуская nginx не будет иметь никакого эффекта на сервер PHP, таким образом, необходимо будет перезапустить это отдельно.
@saber tabatabaee: Попробуйте этот инструмент: функции CPU Identification Utility Displays CPU совместимости VMotion, EVC и указывают на 64-разрядную поддержку VMware.