kernel: add missing kernel options