Function default_xcr0_for 

fn default_xcr0_for(info: &CpuInfo) -> u64

Pure helper: the XCR0 mask this kernel would enable for info (x87 + SSE always, plus AVX / AVX-512 states when the CPU announces them AND the hardware supports the required XCR0 bits). Shared by init() (pre-lock computation) and host().