Update x86-64CORE.hpp