[PATCH 6.6 167/204] x86/bugs: Use SBPB in write_ibpb() if applicable