[CORE] vmm_types.h: rework the file for having arch specific atomic64

Signed-off-by: Jean-Christophe DUBOIS <jcd@tribudubois.net>