Linux kernel source tree which allows replicating memory pages automatically