Minor bugfix when using the "other" option with the kernel configuration. Also a typo which has probably been around since the
dinosaurs. Thanks tyil for spotting these.