Rework the atf detection so the tests/Makefile* always get generated