[Possible bug] reboot doesn't work for Raspberry Pi

[Stefan Wahren]

Hi,

i'm using a Raspberry Pi B with U-Boot, Mainline Kernel 4.2.2 and
Raspbian Wheezy rootfs (2015-05-05).

If i run the reboot command, the reset never occurs.

Here is the console output:

The system is going down for reboot NOW!
[ 73.409331] Restarting system.

After that the green heartbeat LED stop blinking and goes off.

Any ideas what's the reason or how to debug?

Best regards

Stefan