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

[Steve Goodrich]

Just a quick question: do these functions (handle_18, handle_19, and do_boot
from boot.c) run in 16-bit mode or in 32-bit mode?

Thanks!
    -- Steve G.