A simple hello world in uesrspace for avr32 (NGW100)