[PATCH v5 08/44] Correct SPL uses of MULTIPLEXER