core/linux-armv7-rc: add AS3722 PMIC for Jetson TK1

Required to make linux-armv7-rc run on NVIDIA Jetson TK1 boards.