Add platform armv6l-linux to list of Linux platforms
Linux kernel: Use installTargets from platform
Enable sane hotplugSupport on armv6l-linux
raspberry pi: Update firmware
raspberry pi: Add stable kernel (3.12.34)