Re: [SeaBIOS] boot.c: handle_18, handle_19, do_boot