ipcomp4: Use the IPsec protocol multiplexer API