The convention is that symbols that depend on $CONFIG_EXPERIMENTAL are
marked in the banner with the string (EXPERIMENTAL).  There are 4 cases
where that string is correctly used but is lowercase instead of uppercase.