A few things to help build kernel RPMs