[PATCH v3 77/81] Makefile: Clean up an unnecessary Makefile piece