adding support for Libero SOC

I'm adding support for Microsemi's Libero SOC. I expect that other users will want to modify this, but this is what works well for me.