Changed specification of kernel source size