Jessie has different kernel for i386, fixing name for EC2.