Hi Jack, I used the folder from this thread because I have a Dell Latitude 3470, the only thing that didn't work was the HDMI input, could it help me?
ah also realize that my web cam doesn’t work nor ETHERNET VIA CABLE, already follow this tutorial and without success.