'Get the name of the kernel image to be installed.
Returns:
The full path to the kernel image file as it will be
installed on the host. It is the uncompressed and
unstripped version of the kernel that can be used with
oprofile.
Raises:
AutoservError: no package has yet been obtained. Call
RPMKernel.get() with a .rpm package.'

def get_vmlinux_name(self):

    if (self.source_material is None):
        raise error.AutoservError('A    kernel    must    first    be                                                    specified    via    get()')
    vmlinux = utils.run(('rpm    -q    -l    -p    %s    |    grep    /boot/vmlinux' % self.source_material)).stdout.strip()
    return vmlinux
