rpms / kernel 2017-11-30