add a customized header file to printk customized informations