TARGET_linux-arm.mk: use single slash version of -print-whatever

The double slash variants are not documented in GCC manual.  Therefore,
it is better to use the single slash variants as usual.