diablo kernel builts from Cl3Kener sources