armadillo-640 debian