Re: [PATCH] Fix cross kernel headers location - rhbz#1642037