[opensuse-kernel] Clarification of bzImage vs gzip vmlinuz-* for -default/-xen kernels?