pandaboard: move to L24.13 kernel, update machine config to match