yes, that's something we can add. How can this be reproduced? I would expect that this triggers on the first boot after install with SELinux enabled, but it doesn't for me