Fedora 16 w/encrypted filesystem: unable to boot Xen kernels

[Gerry Reno]

On 03/21/2012 03:40 PM, Josh Boyer wrote:
> On Wed, Mar 21, 2012 at 2:53 PM, Gerry Reno <greno at verizon.net> wrote:
>   
>> From xen-devel list.
>>
>> How can I downgrade my Fedora 16 kernel to get around this kernel bug
>> identified by Konrad?
>>
>> Yum does not list any other kernels other than 3.2.10.
>>     
> Unless you've done something odd, the previous 2 kernels should still be
> installed on your machine.  Just pick the older one in the boot loader
> menu.  Then you should be able to remove 3.2.10 with yum.
>
> josh
>   

Nope.  Installed from the F16 DVD, did yum install xen, and there's only
1 kernel listed under /boot.  And downgrading manually looks like a big
pain.  Have no idea what dependencies there are between these kernels.