[coreboot] Nvidia Optimus support, help needed