add new kernel config with ec2 (xen) support