moved HIGH_VMA code to kernel.h file

in the future we might want to make this configurable?
added #pragma once to kernel.h