* Manual Resync with Debian version 3.13-1. - Remaining changes: + Ubuntu specific control scripts carrying upgrade quirks + Ubuntu specific modprobe.d/depmod.d contents + debian/patches/ubuntu-maps_by_default -- Reenable map files + debian/patches/ubuntu-modinfo-wantparm-uninitialised -- fix performance issue due to unitialised variable in modinfo + switch source to 'unapply-patches' to simplify merging with debian upstream