can't do objdump for linux kernel image

Question

For arm\'s N1 SDP (system design platform for N1 chip), after I build the software as directed by the Getting Started, I have an output file linux/out/n1s