Tweak TARGET_linux-arm.mk again