[SeaBIOS] [PATCH RFC 0/2] support booting more than 255 CPUs with QEMU