[SeaBIOS] [PATCH v4 5/5] support booting with more than 255 CPUs