* kernel: add support for am335x PMIC-base power-off * tps65217: driver for the TPS65217 PMIC * libminc: add reboot()