toolchain.inc: Skip how to use any toolchain if it's selected

If ANY_TOOLCHAIN is selected, don't bother telling the user how to
do what they've already done.

Change-Id: I7182d18a91e832aa56638ec64fe8b3b0c38cff7a
Signed-off-by: Martin Roth <martinroth@google.com>
Reviewed-on: https://review.coreboot.org/12679
Tested-by: build bot (Jenkins)
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
1 file changed