[PATCH 6.14 259/311] x86/bugs: Use SBPB in write_ibpb() if applicable