Q:  Booting the kernel fails with 
   Watchdog Reset
   Illegal Instruction
   Type  help  for more information
A:  (FIXME)  Problems with cold starts?  Reboot and it should start properly.