This one adds support for the watchdog timer which is unfortunately
active before the kernel starts and can not be disabled without patching
the binary bootloader.