[PATCH] sysdep/linux: fix IPv4-via-IPv6 with disabled MPLS kernel