Symbol: xen_is_e820_reserved