Re: [SeaBIOS] [PATCH RFC 2/2] support booting with more than 255 CPUs