Currently running with discrete graphics only. Made configuration easier and didn't have to deal with switching between intel/nvidia, but also uses more power.
Using SecureBoot and sbupdate script to make a secure bootable EFI image.
Install TLP and didn't change values to see how it impacts performance
for bios update I downloaded the cd image from lenovo for the current bios, ran the geteltorito.pl script to convert from .iso to .img, and wrote it to USB drive.
There is an update for HDMI related firmware that should fix HDMI output
KMS required for nvidia driver in order for udev to detect hotplug events