Actually I followed the instruction in the manual. Since I was new to kernel compiling too, I made the assumption that the compiling generates both images, which is wrong. The difference is made by the .config file, which determins the architecture. However, the make generates a compressed image and...