Added latest OpenOCD RC (0.8.0-rc2) for --devel