CoreOS vs FreeBSD | What are the differences?