Tag for option in a config file?

Dear Friends,

Are there any tag to define an option in a config file.

Example: I'm writing a tutorial explaining how to change the  kernel config option, 

  CONFIG_SERIAL_8250_RUNTIME_UARTS before compilation of kernel.

Are there any tag to be used for "option" in a "configfile"?

Ex: <configfile class="option"> CONFIG_SERIAL_8250_RUNTIME_UARTS </configfile>

Any suggestion?

Thanks for attention,
Jose