Whoops !!! Not only confusing myself but the list also. I wrongly identified the file kernel-default-nongpl on several occasions as kernel-source-gpl. Sorry people !! Getting old, getting late. Sorry !! Hope you will be able to figure it out. Bob S.