[SeaBIOS] [PATCH 5/5] paravirt: Prefer CPU count from FW CFG to CMOS