Fix building of fdt_support.c if DEBUG set