Weird. After a while, the UEFI BIOS started to exhibit a behaviour, where it bootlooped itself while trying to start the computer. Power on, few seconds, power off, repeat and rinse. And then, after a while, it started fine. I wonder what this could be.