Added ethoc to Mexiko in Barebox
Mexiko hack to support the special DMA we need for GIC