kernel-rt/SOURCES/filter-armv7hl.sh.rhel