As far as I am aware, Mendix licenses are concerned with Mendix Business Servers (i.e. a license is valid for a single Mendix Business Server). They are not concerned with the OS/RAM/CPUs/Virtualization environment.
Is there a reason that you think this might be an issue?