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