xeno_math: replace manifest declaration of printk() with kernel include