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