I assume there's two cases here: a) aarch64 host + linux32 = armv8l b) armv7l host If we have to patch the kernel anyway, can't we change it dynamically like linux32 or linux26 tools do?