[SeaBIOS] IEEE 1394 interface booting