Working kexec example for BBB?

Has any one got kexec to work on the Beagle Bone Black?

I’m using Debian 7.9 and 8.3, but I’d be delighted to get a working recipe for any BBB distribution.

I’m currently trying something like this:

KERNEL=/boot/vmlinuz-3.8.13-bone79
INITRD=/boot/initrd.img-3.8.13-bone79
CMDLINE=“console=tty0 console=ttyO0,115200n8 root=/dev/mmcblk0p2 rootfstype=ext4 rootwait coherent_pool=1M quiet init=/lib/systemd/systemd cape_universal=enable”

kexec --load “${KERNEL}” --append="${CMDLINE}" --initrd="${INITRD}"

I get this warning:

Cannot open /proc/atags: No such file or directory

Then:
kexec -e

after which I get:

(NULL device *): gadget not registered

Starting new kernel

and that’s it… hangs indefinitely. Any tips greatly appreciated.
Joe.