Fix kernel invocation parameters