Keep splash screen with fake KMS.

debian/changelog

@@ -1,3 +1,9 @@
+raspi-config (20170803) stretch; urgency=medium
+
+  * Allow splash screen with fake KMS.
+
+ -- Simon Long <simon@raspberrypi.org>  Thu, 03 Aug 2017 10:11:08 +0100
+
 raspi-config (20170714) stretch; urgency=medium
 
   [Simon Long]

raspi-config

@@ -1150,7 +1150,7 @@ do_gldriver() {
   else
     return 0
   fi
-  if echo "$GLOPT" | grep -q -E "1|2" ; then
+  if echo "$GLOPT" | grep -q -E "1" ; then
     if grep -q "splash" $CMDLINE ; then
 	    sed -i $CMDLINE -e "s/ quiet//"
 	    sed -i $CMDLINE -e "s/ splash//"