Separate names with a comma.
I have exactly the same problem with 1918, same video card, same system but slightly more memory (5G). 1920 doesn't start for me, same problem...
This firmware fix wasn't about VT-X as far as I know. It was fan-related.
You want to be using newer versions that still aren't released on the public website, but which are linked from forum posts here. Look at the top...