delos3geur: Enable inline kernel building