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