updated linux/arm library