dpgeorge microbit: Configure and enable handling of soft reset button.

Latest commit 2ef995b

Sep 1, 2018