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