Hi, I am trying upgrade my Raspberry Pi 2 from 8.99.30 to 8.99.34 (earmv6hf) but the new kernel does not boot. All I see on serial console is: [ 1.0000000] NetBSD/evbarm (fdt) booting ... [ 1.0000000] [ Kernel symbol table missing! ] Red led stays on. Do I miss some changes (e.g: u-boot)? -- Herbert