Just to follow up, I've now rebooted again and it still works (without any need to intervene in the boot process). If there's any more information I can provide that will help move the fix along, please email me.
Just to follow up, I've now rebooted again and it still works (without any need to intervene in the boot process). If there's any more information I can provide that will help move the fix along, please email me.