#include <../boot/fdt_region.c>