FWIW: I've started running with my own naive modification of /etc/init/gdm.conf, to see whether it changes symptoms. Here the diff (I use etckeeper with git, so this is git diff output):
start on (filesystem
and started dbus
+ and started tty1
+ and started tty2
+ and started tty3
+ and started tty4
+ and started tty5
+ and started tty6
and (graphics-device-added fb0 PRIMARY_DEVICE_FOR_DISPLAY=1
or drm-device-added card0 PRIMARY_DEVICE_FOR_DISPLAY=1
or stopped udevtrigger))
At least the first reboot after this change was (a) very quick (b) launched gdm/X on tty7. I will report back on how things go from here
FWIW: I've started running with my own naive modification of /etc/init/gdm.conf, to see whether it changes symptoms. Here the diff (I use etckeeper with git, so this is git diff output):
diff --git a/init/gdm.conf b/init/gdm.conf
index 5600d4c..d36acdc 100644
--- a/init/gdm.conf
+++ b/init/gdm.conf
@@ -8,6 +8,12 @@ author "William Jon McCann <email address hidden>"
start on (filesystem device- added fb0 PRIMARY_ DEVICE_ FOR_DISPLAY= 1 DEVICE_ FOR_DISPLAY= 1
and started dbus
+ and started tty1
+ and started tty2
+ and started tty3
+ and started tty4
+ and started tty5
+ and started tty6
and (graphics-
or drm-device-added card0 PRIMARY_
or stopped udevtrigger))
At least the first reboot after this change was (a) very quick (b) launched gdm/X on tty7. I will report back on how things go from here