tweak set of rpms for the f12 kernel