WIP, figuring out a workaround for case-sensitivity issues with kernel headers_install