Yes same issue with our systems. Domain users are not listed after reboot.
We have to enter username after reboot
We have to enter username after reboot