micore_setup.sh: Write device configuration