nios2: Include proper header file