* system-linux-armel.ads: Rename into...