Add board specific code, autodetect the kernel, fixes #1707, thanks Gabor Juhos