more typo fixes in permissive kernel article