Synchronize support/ infrastructure with master

This commit updates the support/ subdirectory to
commit 2714c5f3
on the master branch and modifies Makeconfig,
Rules, and extra-lib.mk accordingly.