[coreboot] Debian doesn't boot after firewire card insertion