How to configure a CoreOS system