[00:33] <Sargun> Any reason why Ubuntu doesn't turn on CONFIG_LOCKDEP?
[00:39] <Sargun> or have a kernel variant with it enabled?