diff --git a/src/soc/nvidia/tegra210/bootblock.c b/src/soc/nvidia/tegra210/bootblock.c
index 1657d7ce44..e8c4324995 100644
--- a/src/soc/nvidia/tegra210/bootblock.c
+++ b/src/soc/nvidia/tegra210/bootblock.c
@@ -137,7 +137,7 @@ static void mbist_workaround(void)
 			break;
 		case OP_UDELAY:
 			udelay(wa_op->val);
-			/* fall thru */
+			__fallthrough;
 		default:
 			continue;
 		}
diff --git a/src/soc/rockchip/rk3288/display.c b/src/soc/rockchip/rk3288/display.c
index 19a75de1fd..9d6cca18b5 100644
--- a/src/soc/rockchip/rk3288/display.c
+++ b/src/soc/rockchip/rk3288/display.c
@@ -63,7 +63,7 @@ void rk_display_init(struct device *dev, u32 lcdbase, unsigned long fb_size)
 			if (conf->vop_mode == VOP_MODE_EDP)
 				return;
 		}
-		/* fall thru */
+		__fallthrough;
 	case VOP_MODE_HDMI:
 		printk(BIOS_DEBUG, "Attempting to setup HDMI display.\n");
 		rkclk_configure_hdmi();
@@ -78,7 +78,7 @@ void rk_display_init(struct device *dev, u32 lcdbase, unsigned long fb_size)
 			if (conf->vop_mode == VOP_MODE_HDMI)
 				return;
 		}
-		/* fall thru */
+		__fallthrough;
 	default:
 		printk(BIOS_WARNING, "Cannot read any edid info, aborting.\n");
 		return;