[SeaBIOS] [PATCH] Don't reserve %ebx in code32seg chunk.