Bug #2388: Fix typo in EC2 VMM driver

(cherry picked from commit 7ad1fa7eedd0f133606412896e3883f4b362663b)