Similar Problem with ArchARM

[Jason A. Donenfeld]

Can you send the output of:

for i in vmlinuz-linux kernel.img Image zImage uImage; do [[ -f
/boot/$i ]] && pacman -Qo /boot/$i; done