Revert "Add support for Codina"

This reverts commit be423b4212c8bc5be6f63bf112ede6c56d64de06.
It seems that this isn't needed on codina.

Conflicts:
	codina.mk