Added kernel ecf file for non Void-safe systems