[CORE] Correcting the 'vmm_printf' macro.

The 'vmm_printf' macro was defined with an ending semi-column. It has been
removed, and a resulting missing semi-column was added to the printing in the
main C function.

Signed-off-by: Jimmy Durand Wesolowski <jimmy.durand-wesolowski@openwide.fr>