Wondering how long it will take for the release of Centos 8.1. Given the fact that CentOS 8.0 arm7 is still not released. Even no message from CentOS 8.0 version 32 bit.