[SeaBIOS] Is the SeaBIOS ELF 32 bit entry point a supported interface?