octeon: add a few missing symbols to the kernel config file