A couple of issues are resolved by moving to the mainline kernel (from Pali's kernel): 1) 'reboot' command now works as intended 2) boot is *much* faster 3) charging LED seems to be working now