[SeaBIOS] [PATCH 2/2] Support using the "extra stack" for all 16bit irq entry points.