[PATCH v2 0/2] Fix KSFT toplevel makefile behaviour