0ef7b4d395
their callback. That means the ucode buffer is released while still in use and this causes a crash. Quick fix: check if the ucode buffer has been freed and abort. You may need to run 'cpuctl ucode' twice to apply it to all cpus. Per discussion with rmind@ use low priority xcalls and splhigh.