INI Kernel fix