added kernel ramsisk support