From 4b4ed9b91f794a8f927704753e98be398dd8c104 Mon Sep 17 00:00:00 2001
From: Simon Long <simon@raspberrypi.org>
Date: Fri, 6 May 2016 18:07:03 +0000
Subject: [PATCH] Overlay file name changed for GL driver.

---
 raspi-config | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/raspi-config b/raspi-config
index 1c51dc8..cb4d73a 100755
--- a/raspi-config
+++ b/raspi-config
@@ -1107,7 +1107,7 @@ do_gldriver() {
     whiptail --msgbox "GL driver cannot be used on Pi 1 or Pi 0" 20 60 2
     return 1
   fi
-  if [ ! -e /boot/overlays/vc4-kms-v3d-overlay.dtb ]; then
+  if [ ! -e /boot/overlays/vc4-kms-v3d.dtbo ]; then
     whiptail --msgbox "Driver and kernel not present on your system. Please update" 20 60 2
     return 1
   fi