[coreboot-gerrit] New patch to review for coreboot: 01d2dac Ibexpeak: add missing thermal init.