hg: jdk/submit: 8196998: Create devkit for Linux with gcc 7.3

[erik.joelsson at oracle.com]

Changeset: 042834d56fbf
Author:    erikj
Date:      2018-02-09 13:58 -0800
URL:       http://hg.openjdk.java.net/jdk/submit/rev/042834d56fbf

8196998: Create devkit for Linux with gcc 7.3
Reviewed-by: tbell, ihse

! make/devkit/Makefile
! make/devkit/Tools.gmk