Sylvester matrix rank functions on crossed products and the Atiyah problem