Re: [SeaBIOS] [Qemu-devel] SeaBIOS booting time optimization