Make libopencm3 compatible with Debian repo armgcc

Signed-off-by: Alexey Galakhov <agalakhov@gmail.com>