Updated for kernel 3.2.27.
installer: Take boot files from raspi packages.
kernel_raspi: Add KDIR stuff for new dwc_otg version.
kernel-source: Add KDIR stuff, and a reassuring message.
Big catchup, kernel upgraded to 3.12.25.