select the x86 tinycore kernel and initrd