Remove old debian/patches/ubuntu_update_grub.diff. It wasn't applied
anyway, but the fact that it patches files in debian/ was causing
confusion. It's preserved in revision control if we need it later.