first try of a kernel priority inversion example