compressed: fix arch/arm/boot/compressed/vmlinux