syslib: implement sys_reboot()

Change-Id: Ifd4a192c10a285881bb91267fa3c5bdcac3394af
tps65217: driver for the TPS65217 PMIC
kernel: add support for am335x PMIC-base power-off

AM335X SoCs support power-off via a power management
chip (PMIC). An alarm in the real time clock is used
to trigger the PMIC to cut the power.

To ensure the alarm goes off when the system is in
a safe state, the RTC is frozen when the alarm is
set. At the last moment, the kernel unfreezes the RTC
to let the alarm go off.

This patch adds a mini driver for unfreezing the RTC
as well as code to handle RBT_POWEROFF on Minix/arm.
pm: notify readclock of reboot(RBT_POWEROFF)

Some ARM chips handle power-off with RTC alarms. PM notifies
readclock (the driver for RTCs) about the impending power-off.
If the power-off mechanism is an RTC alarm, readclock will
set the alarm. If not, there is no effect.

Change-Id: I873cfcf0661a8a9eb50c9a89a3f55d791c43475a