diff --git a/alarm/kodi-rbp4/PKGBUILD b/alarm/kodi-rbp4/PKGBUILD
index 82e0a4b2c..cd95fc18f 100644
--- a/alarm/kodi-rbp4/PKGBUILD
+++ b/alarm/kodi-rbp4/PKGBUILD
@@ -26,7 +26,7 @@ _prefix=/usr
 pkgbase=kodi-rbp4
 pkgname=('kodi-rbp4' 'kodi-rbp4-eventclients' 'kodi-rbp4-tools-texturepacker' 'kodi-rbp4-dev')
 pkgver=18.4
-pkgrel=2
+pkgrel=3
 _codename=Leia
 _tag="18.4-$_codename"
 _ffmpeg_version="4.0.4-$_codename-18.4"
diff --git a/alarm/kodi-rbp4/kodi.install b/alarm/kodi-rbp4/kodi.install
index 07a273577..15f33dda9 100644
--- a/alarm/kodi-rbp4/kodi.install
+++ b/alarm/kodi-rbp4/kodi.install
@@ -9,9 +9,11 @@ post_install() {
 
   echo "****************************************************************"
   echo "Make sure the following lines are added to /boot/config.txt"
-  echo "gpu_mem=320"
-  echo "dtoverlay=vc4-fkms-v3d"
-  echo "dtparam=audio=on"
+  echo "   gpu_mem=320"
+  echo "   dtoverlay=vc4-fkms-v3d"
+  echo "   dtparam=audio=on"
+  echo .
+  echo "To optionally enable 4K playback add: hdmi_enable_4kp60=1"
   echo "****************************************************************"
 }