Does anyone know if Coreboot will work on Optimus editions of the T430? Will it boot? Or will the Nvidia card just be ignored and HD4000 is the only...