Added platform selection to kernels.rb