Howto update the kernel on ec2

[Sean Darcy]

First congratulations on a great setup to allow us clueless ones to pick 
an ec2 image and launch it directly into the region of our choice.

Very slick!

But...when you do it you get to a dialog where you can choose the kernel 
to use. The drop down list includes default and a number of AKI's 
(Amazon Kernel Images??) . How do you find out what the AKI's refer to 
in Fedora speak, i.e.  kernel-3.10.10-100.fc18.x86_64 ?? I googled some 
of the aki's , but found nothing.

Also, since the F19 ec2 instance only has one partition:

  df
Filesystem     1K-blocks    Used Available Use% Mounted on
/dev/xvda1       2032912 1088744    907784  55% /
devtmpfs          280236       0    280236   0% /dev
tmpfs             302208       0    302208   0% /dev/shm
tmpfs             302208     188    302020   1% /run
tmpfs             302208       0    302208   0% /sys/fs/cgroup

we should use an hd0 ( and not hd00 ) aki, correct?

But now I have an F19 instance running. Will I need to do some magic to 
upgrade the kernel, or is yum upgrade sufficient?

sean