setup: Fix kernel name
aries: Fix boot.img build