I'm attempting to write some basic GPIO driver for the imx6ul and am stuck on installing the kernel headers to compile against. I've seen this asked here a few time with no real answer. What's the way to install the headers (linux-headers-rel_imx_4.1.15_2.0.0_ga in my case) on my host machine so I can develop a driver on it?