diff --git a/debian/changelog b/debian/changelog
index 18064f0f3..649f22fc1 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -8,7 +8,7 @@ linux (4.19.28-2) UNRELEASED; urgency=medium
 
   [ Vagrant Cascadian ]
   * [arm64] Enable DRM_SUN4I and DRM_SUN8I_DW_HDMI as modules.
-  * [arm64,armhf] Enable PHY_ROCKCHIP_INNO_HDMI as modules.
+  * [arm64,armhf] Enable PHY_ROCKCHIP_INNO_HDMI as built-ins.
   * [arm64] Enable I2C_GPIO as a module.
   * [arm64] Enable MESON_EFUSE as a module.
 
diff --git a/debian/config/arm64/config b/debian/config/arm64/config
index 44e6c7b21..04a892284 100644
--- a/debian/config/arm64/config
+++ b/debian/config/arm64/config
@@ -804,7 +804,7 @@ CONFIG_PHY_QCOM_USB_HSIC=m
 ## file: drivers/phy/rockchip/Kconfig
 ##
 CONFIG_PHY_ROCKCHIP_EMMC=m
-CONFIG_PHY_ROCKCHIP_INNO_HDMI=m
+CONFIG_PHY_ROCKCHIP_INNO_HDMI=y
 CONFIG_PHY_ROCKCHIP_INNO_USB2=m
 CONFIG_PHY_ROCKCHIP_PCIE=m
 CONFIG_PHY_ROCKCHIP_TYPEC=m
diff --git a/debian/config/armhf/config b/debian/config/armhf/config
index f789e3b56..aaba425ab 100644
--- a/debian/config/armhf/config
+++ b/debian/config/armhf/config
@@ -916,7 +916,7 @@ CONFIG_PHY_SUN9I_USB=m
 ## file: drivers/phy/rockchip/Kconfig
 ##
 CONFIG_PHY_ROCKCHIP_DP=m
-CONFIG_PHY_ROCKCHIP_INNO_HDMI=m
+CONFIG_PHY_ROCKCHIP_INNO_HDMI=y
 CONFIG_PHY_ROCKCHIP_EMMC=m
 CONFIG_PHY_ROCKCHIP_USB=m