This updates to 4.18.12-rt7 and re-enables rt
Fixes lintian warning patch-file-present-but-not-mentioned-in-series. Also preparation for using dgit, which will remove everything except the main patch series under debian/patches.