Re: [coreboot] How to change the Core input voltage setting?