IIRC there was 2 reboot problems: One was Linux Kernel/hardware incompatibility that was fixed. The other had to do with various software(s) from Devel.