rpms / kernel 2017-09-12