Re: [SeaBIOS] [PATCH 2/2] disk: Avoid stack_hop() path if already on the extra stack