AMD launches $2,999 Seattle ARM dev kit