[SeaBIOS] [PATCH 0/2] Improve reboot races during post and reboot