Notes on how to boot CoreOS from Cobbler