Mangle 'armv7l' away from clang flags. Clang still doesn't recognize it.
Update host kernel file name to match the mangled hostname.