After fixing that line of code that was causing errors with building the EVL
kernel, I was able to successfully build. I am now running our scenario that
was causing issues previously. I will let you know what issues (if any) I
run into. 

To your other point, I can confirm that the priorities that are being
boosted are never being cleared back to the original base priorities.. What
do you recommend looking at first in order to figure out why this is
happening?

Thanks,

Russell