Add XMIPS HAL and port Atlas to XMIPS