Re: [SeaBIOS] [PATCH 3/4] support booting with more than 255 CPUs