https://stackoverflow.com/questions/31880337/why-malloc-can-not-allocate-huge-memory-in-freebsd-x64-kernel-space