Revert "core: minimal: use ART by default"

This reverts commit d88b7d9febd6f4d8cd153b893e74b465ace639f3.