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