Does Toit use both cores by default on dual-core boards? Thinking through what hardware I'm buying and realized I have a poor understanding of how/if both cores are used for dual-core models.