Merge branch 'hw/config-doc-in-header' into pu

Follow recent push to move API docs from Documentation/ to header
files and update config.h

* hw/config-doc-in-header:
  config: move documentation to config.h

Author: gitster