#include <asm/io.h>
#include <asm/u-boot.h>
#include <common.h>
-#include <libfdt.h>
+#include <linux/libfdt.h>
#define SCC_BASE 0x7fff0000
bool armv7_boot_nonsec_default(void)
{
#ifdef CONFIG_ARMV7_BOOT_SEC_DEFAULT
- return false
+ return false;
#else
/*
* The Serial Configuration Controller (SCC) register at address 0x700