Add new BORE scheduler (maybe in a new branch)

[gabriele2000]

I guess it should be worth it, useful option if you don't want to compile a custom kernel (if you're using Ubuntu, for example)