That was on the same hardware. How the USB stick was written in the first time is beyond my knowledge as it was prepared by my customer before the workshop started.
The error was just odd that it was able to boot but then not find the rest of the ISO. Strange things happen.