[PATCH v4 09/46] Correct SPL uses of MULTIPLEXER