CONFIG_CPU_IBPB_ENTRY=y
