Comment 29 for bug 418130

>PPA debs are great. I see some kernel modules here, but not for 2.6.31-300-ec2-xen:
> https://launchpad.net/~ubuntu-on-ec2/+archive/ppa

Both
  ubuntu-kernel-2.6.31-300-ec2-xen-i386-20090910-test-02
  ubuntu-kernel-2.6.31-300-ec2-xen-x86_64-20090910-test-02

are built from the PPA the extra -xen- comes from my script I used to create and upload the kernel images. I have fixed the bug so the problem won't appear in future uploads.

The alternate
  ubuntu-kernel-2.6.31-300-ec2-xen-i386-20090910-test-03

is built directly from source, but the patch that was applied shouldn't have changed the abi so the PPA modules should be compatible