Fixes for kernel definition and repository configuration