[coreboot-gerrit] Change in coreboot[master]: docs/coding_style: Clarify use of GCC extensions