correct path for make target microwatt_external_core