CoreOS installer does not support choosing the size of the boot partition leading to potential issues when upgrading and your system has pinned OStree deployments. Here’s how to work around it.