[techno} fix kernel folder