nios2: patch still required