This function was changed, so these packages need to be rebuilt to have the kernel installed under the new filename 'vmlinuz'
