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