Using the x86_64-bios loader resulted in loops on 4 different computers.
I identified the problem to be the waiting loops here and here, the output bit is never set on my devices.
Changing the channel from 2 to 0 solves this for me (tested at the time of writing on one device, more pending).