kernel: Remove some unused options (forgotten in the IPX removal).