Symbol: xen_chk_is_e820_usable