[SeaBIOS] [RFC] [SEABIOS] Take in account hotplugged cpus on reboot