Some renaming to avoid spurious warnings on some old GCC versions.
[BearSSL] / T0 / kern.t0
2016-11-02 Thomas PorninInitial import.