adding the basic kernel that is patched