Added the HSADC to the devices in the dt for the 10036.  Since these pins can't be used for GPIO, it makes no sense (other than for power consumption, which is already not small) to leave it disabled.