+# If this is a pv_ops kernel, then we need to make some more changes
+# to make the console work right
+#
+if [ "$(chroot ${prefix} lsb_release -is)" = "Ubuntu" ] && \
+ dpkg --compare-versions "$(chroot ${prefix} lsb_release -rs)" ge 8.10; then
+ sed -i -e 's/xvc0/hvc0/' /etc/event.d/tty1
+ sed -i -e 's/console=ttyS0[^ ]*/console=hvc0/' /boot/grub/menu.lst
+fi
+
+#
+# If this is a Jaunty machine, the fix from LP #291256 caused our
+# patch to update-grub to not work, so let's use that mechanism
+# instead
+#
+sed -i -e 's/indomU=detect/indomU=true/' /boot/grub/menu.lst
+
+#