[SeaBIOS] [PATCH RFC v2 2/2] use EC space instead of specific systemio for cpu hotplug