Bug fix: no restart after programming on deRFusb
OpenOCD support for stellaris launchpad

    - Warning: needs patched openocd
    - patched ebuild for gentoo in platform dir
Changed linker optimization

    - changed --gc to --gc-section
Merge branch 'master' of git://github.com/steup/ARM-HaLib