acrn-kernel/samples/trace_printk/Makefile