diff --git a/src/kboot.c b/src/kboot.c
index 40e644b3f..e98c87fa4 100644
--- a/src/kboot.c
+++ b/src/kboot.c
@@ -76,13 +76,7 @@ void get_notchless_fb(u64 *fb_base, u64 *fb_height)
     u32 val;
 
     if ((ADT_GETPROP(adt, node, "partially-occluded-display", &val) < 0 || !val) &&
-        chip_id != T8015) {
-        printf("FDT: No notch detected\n");
-        return;
-    }
-
-    // iPhone X
-    if (chip_id != T8015 || (board_id != 0x6 && board_id != 0xe)) {
+        (chip_id != T8015 || (board_id != 0x6 && board_id != 0xe))) {
         printf("FDT: No notch detected\n");
         return;
     }