[coreboot] Re: Nvidia Optimus support, help needed