uClinux hardware registers access

Hi,

I'm using uClinux from nios2-linux-20090730 and I was stuck triying to manage a simple PIO from a device driver, until I noticed that autogenerated nios2.h file does not enable peripheral adresses bit 31 to '1' in order to bypass cache.

Does anyone know the trick to generate a suitable nios2.h with correct no-cache adressess.

thanks