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