[23:03] <Kevin`> where can I get the kernel configuration or binary package for a newish kernel version for pandaboard?