Switch linux headers to be more distro-specific for more better.