Also introduce linux_mptcp_94 alias to prevent from overriding the wrong kernel when switching across branches. test