No idea. I haven't changed anything besides safe boot ans some UEFI bits.