Both machines have secure boot off and fast boot off. Is there some kernel parameter I can add that will give some diagnostic information that could help me figure out what’s going on?
If this is booting using grub, you should be able to hit e to edit the boot command list. I’m not a coreOS user though so no idea if it uses grub or not.
How different are the machines? It could be useful to post the models and basic specs. Look for the models at http://linux-hardware.org to see if others have installed linux and check the UEFI/BIOS versions against what you are using.
Huh, very weird. Apparently the (very, very old) thumbdrive I was using was just a tad too small although I don’t recall seeing any errors while I was burning it. It now works fine with a larger drive.