So I think there has been some mixup. And it seems to have been this way for a while.
But despite what the subtext claims there does not appear to be any BORE on the default kernel.
sysctl kernel.sched_bore
zgrep "CONFIG_SCHED_" /proc/config.gz
There were some other threads going over this too I thought..