a40c274310
example_configurations\K8200\Configuration.h: * merge upstream changes from default Configuration.h manually * add some machine specific comments