Added x86 kernel seeds