Working compilation of MKL25Z port