add bootinfo print for mainline kernel
style
Change include namespace to not clash
fix include in printf.c
s/debug/sel4debug