Added kernel boolean flag to types for checking if they are in the
kernel or not