Add a mapping for kernel headers

Nodepool needs to be able to install kernel headers, which means we
need a mapping for redhat systems here.

Change-Id: Ic83d642b5ebe85b042cf7b23b295be74bbe185fa
Merge "Add a mapping for kernel headers"