[PATCH 5.15 349/373] x86/bugs: Use SBPB in write_ibpb() if applicable