ev3 (only!): enable power off

This makes it possible to use the usual commands like halt -p or poweroff
to power down the LEGO EV3 brick.

(Another reason for distinct git repositories are patches for the Linux kernel and U-Boot.)