kernel/SOURCES/filter-armv7hl.sh.rhel