1. syslinux - это такой же загрузчик, как и GRUB, и прочий. Его надо просто запустить. EFI - это уже новая архитектура BIOS'а, если вкратце.
2. Вышеописанный кусок (который стоит спрятать под кат) - это кусок из конфигов GRUB. Не думаю, что пригодится
3. Существует переходник USB-PS/2, который, думаю, можно найти на любом рынке, где есть намек на ПК. Пригодится для управления BIOS'ом.
А теперь по сути. Что-то мне кажется, что проблема именно в BIOS'е, потому что если флешка работает (как я понял) на одном ПК, но не работает на другом - это уже проблема другого ПК.
В чем проблема записать на диск и с него запуститься?
Сам не использовал, но слышал про UNetbootin лишь хорошие отзывы.