kernel config file for QEMU