diff --git a/src/kboot.c b/src/kboot.c
index a0656dc74..7c944a9c9 100644
--- a/src/kboot.c
+++ b/src/kboot.c
@@ -417,6 +417,8 @@ static int dt_set_cpus(void)
     int aic = fdt_node_offset_by_compatible(dt, -1, "apple,aic");
     if (aic == -FDT_ERR_NOTFOUND)
         aic = fdt_node_offset_by_compatible(dt, -1, "apple,aic2");
+    if (aic == -FDT_ERR_NOTFOUND)
+        aic = fdt_node_offset_by_compatible(dt, -1, "apple,aic3");
     if (aic < 0)
         bail_cleanup("FDT: Failed to find AIC node\n");
 
@@ -2141,6 +2143,8 @@ static int dt_transfer_virtios(void)
     int aic = fdt_node_offset_by_compatible(dt, -1, "apple,aic");
     if (aic == -FDT_ERR_NOTFOUND)
         aic = fdt_node_offset_by_compatible(dt, -1, "apple,aic2");
+    if (aic == -FDT_ERR_NOTFOUND)
+        aic = fdt_node_offset_by_compatible(dt, -1, "apple,aic3");
     if (aic < 0)
         bail("FDT: failed to find AIC node\n");