Revert "Merge branch 'dcampora_add_a5000' into 'master'"

This reverts merge request !619 (merged) (given that the A5000 was recently moved).

@chasse I suggest we merge this ASAP to get back to green status in Allen (it doesn't need a Jenkins CI-test).

merged

mentioned in commit 88a6aa2c

mentioned in issue Moore#313 (closed)

added Build cleanup labels