Xens_config: enable DYNAMIC_PAGE_CACHE