Update notes for submitted changes

* For hw GPS to work on pollux_windy a new proprietary system binary is needed, irsc_util.