Enable sane hotplugSupport on armv6l-linux
raspberry pi: Update firmware
raspberry pi: Build compressed kernel
raspberry pi: Add stable kernel (3.12.34)
Linux kernel: Use installTargets from platform