Hi Greg,
Built and lightly tested, when booting I'm noticing the following in dmesg: [ +0.007932] ------------[ cut here ]------------ [ +0.000003] WARNING: CPU: 1 PID: 0 at kernel/sched/fair.c:5250 place_entity+0x127/0x130