File project.diff of Package raspberrypi-firmware-config

--- config.txt.orig
+++ config.txt
@@ -53,10 +53,6 @@ sdram_freq=400
 # Boot in AArch64 (64-bit) mode
 arm_control=0x200
 
-# Older kernels didn't support HDMI connection detection on the rpi3, so force
-# HDMI to always plugged in there. This overlay is only effective on rpi3.
-dtoverlay=rpi3-hdmi
-
 
 [all]
 
--- raspberrypi-firmware-config.changes.orig
+++ raspberrypi-firmware-config.changes
@@ -1,4 +1,9 @@
 -------------------------------------------------------------------
+Tue Mar 12 13:03:58 UTC 2019 - Nicolas Patricio Saenz Julienne <nsaenzjulienne@suse.com>
+
+- Remove rpi3-hdmi overlay from config.txt (bsc#1127537)
+
+-------------------------------------------------------------------
 Thu Apr  5 17:07:29 UTC 2018 - agraf@suse.com
 
 - Allow user defined config options (bsc#1088356)