efi_fdt_overlay_is_compatible
if (!efi_fdt_overlay_is_compatible(dtbo)) {
bool efi_fdt_overlay_is_compatible(void *);