Use ${TOOL_AWK} instead of ${AWK} or plain "awk" in make commands.Pass AWK=${TOOL_AWK:Q} to shell scripts that use awk.
Initial swag at common video mode database. Not used for anything (yet).