[coreboot] How do I install a patch for the w520 to use Displayport/VGA output?