[tip: x86/urgent] x86/bugs: Flush IBP in ib_prctl_set()