Re: [SeaBIOS] random boot-order with 2 virtio disks