[PATCH v2 05/15] hw/cris: Remove the axis-dev88 machine