CONFIG_XEN_UNPOPULATED_ALLOC=y
