Update L4T kernel from 3.10.40 to 3.10.67

I am curious if we can get the newer l4t 3.10.67 kernel up and running on the the Jetson TK1 hardware. It should be possible one would think since Nvidia uses the SAME kernel source (3.10.67) on their Shieldtablet K1 and older Shieldtablet () I can see from looking at the kernel tree a jetson PM375 dts is there and I have tried to boot apending the dtb and using a dtb partition and no luck, serial console stops at booting kernel.

Can anyone confirm if it would be possible to use the upgraded kernel? I have never been able to boot the newer kernel on the K1.

So here is my error when trying to append the dtb for u-boot use:

LINK    vmlinux
  LD      vmlinux.o
  MODPOST vmlinux.o
WARNING: vmlinux.o(.text+0x300aa0): Section mismatch in reference from the function tegra_fiq_enable() to the function .init.text:init_FIQ()
The function tegra_fiq_enable() references
the function __init init_FIQ().
This is often because tegra_fiq_enable lacks a __init
annotation or the annotation of init_FIQ is wrong.

We do not plan to update L4T to 3.10.67 at this time. We are working on a newer kernel for L4T on the TK1, but there is no timeline yet for when this work may be completed.