A separate *-vmlinux package would give another benefit: we can package the uncompressed vmlinux if its installation is optional. Some applications need the raw vmlinux file and user had to uncompress manually, and this step can be avoided. Though, I'm not sure how many such applications exist now...