One final post on this. Moving the USB boot stick to a USB 2.0 port fixed it all! This is weird. I can only speculate that, with the USB 3.x ports being 3.1 (Gen1), Linux support is not yet working properly? Dunno.
Anyway, my symptoms, which can be found in the above posts, were all fixed.
Jeff