Fixes the kernel panic resulting from an undetected intel CPU, so there is no need to patch the kernel (at all) to get it running on the Bifferboard. However, the resultant kernel may still suffer from non-working kexec, watchdog, GPIO and so on.

This is intended as a starting point for anyone wanting to experiment with later kernels (or help with the porting of the patches to