diff --git a/debian/rules.real b/debian/rules.real
index d8dc18eaa..d3914ec57 100644
--- a/debian/rules.real
+++ b/debian/rules.real
@@ -484,13 +484,18 @@ install-image_$(ARCH)_$(FEATURESET)_$(FLAVOUR)_plain-xen:
 	dh_clean -d -k
 	DH_OPTIONS= dh_installdirs -p$(PACKAGE_NAME) 'boot' 'var/lib/$(PACKAGE_NAME)'
 	DH_OPTIONS= dh_installdirs -p$(MODULES_PACKAGE_NAME) 'boot'
-	cp $(DIR)/vmlinuz $(INSTALL_DIR)/vmlinuz-$(REAL_VERSION)
+ifneq ($(DEB_BUILD_ARCH),$(DEB_HOST_ARCH))
+	$(DEB_HOST_GNU_TYPE)-objcopy -g --strip-unneeded $(DIR)/vmlinux $(DIR)/vmlinux-stripped
+else
+	objcopy -g --strip-unneeded $(DIR)/vmlinux $(DIR)/vmlinux-stripped
+endif
+	gzip -c -9 $(DIR)/vmlinux-stripped > $(INSTALL_DIR)/vmlinuz-$(REAL_VERSION)
 	cd $(DIR); $(setup_env) make modules_install INSTALL_MOD_PATH=$(MODULES_PACKAGE_DIR)
 	cp $(DIR)/.config $(MODULES_PACKAGE_DIR)/boot/config-$(REAL_VERSION)
 	cp $(DIR)/System.map $(MODULES_PACKAGE_DIR)/boot/System.map-$(REAL_VERSION)
 	rm $(MODULES_PACKAGE_DIR)/lib/modules/$(REAL_VERSION)/{build,source}
 	DH_OPTIONS= dh_installmodules -p$(MODULES_PACKAGE_NAME)
-	for i in $(XEN_VERSIONS); do echo $$i >> $(PACKAGE_DIR)/var/lib/$(PACKAGE_NAME)/xen-versions; done
+	for i in $(XEN_VERSIONS); do echo $$i; done > $(PACKAGE_DIR)/var/lib/$(PACKAGE_NAME)/xen-versions
 	install -d $(PACKAGE_DIR)/DEBIAN
 	echo /var/lib/$(PACKAGE_NAME)/xen-versions >> $(PACKAGE_DIR)/DEBIAN/conffiles
 	$(MAKE) -f debian/rules.real install-base