makefile: use constants from board-info for ef_* targets