[SeaBIOS] [PATCH 0/2] Use extra stack for all 16bit irq entry points