[BUG] efi_check_allocated() only checks start address