Platform moved to org.ibex.plat in Makefile