[SeaBIOS] [PATCH] Some improvements to optionrom preemption support.