Что ж, мне так и не удалось точно определить , что пошло не так с моей настройкой, но кажется, что использование rEFInd (, впервые прочитанного об этом на https://wiki.debian.org/GrubEFIReinstall), решит проблему. BIOS не может найти ядро флешки, но у rEFInd нет проблем с его загрузкой.
Я не думаю, что это исправление, но оно прекрасно работает как обходной путь.