[SeaBIOS] [PATCH v5 3/4] add helpers to read etc/boot-cpus at resume time