There seems to be issues with SELinux on the generated images at the moment. In order to be able to troubleshoot them, we will configure SELinux for permissive mode for now.