[PATCH 10/28] x86/srso: Tie SBPB bit setting to microcode patch detection