added kernel config for rabits dualboot linux kernel