Primoc: Add in kernel config