(In reply to Takashi Iwai from comment #8) > Interesting. Does the system show ibpb_brtype in /proc/cpuinfo flags? That feature is never exposed via /proc/cpuinfo.