From ba27fc087c4aa081bbc4958087a5e16f6dc38630 Mon Sep 17 00:00:00 2001
From: Ganbold Tsagaankhuu <ganbold@FreeBSD.org>
Date: Tue, 20 Oct 2015 13:47:36 +0000
Subject: [PATCH] Include "opt_platform.h" to fix kernel build for amlogic
 devices.

---
 sys/arm/amlogic/aml8726/aml8726_machdep.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/sys/arm/amlogic/aml8726/aml8726_machdep.c b/sys/arm/amlogic/aml8726/aml8726_machdep.c
index 2f982353990..e1cd1b9038a 100644
--- a/sys/arm/amlogic/aml8726/aml8726_machdep.c
+++ b/sys/arm/amlogic/aml8726/aml8726_machdep.c
@@ -29,6 +29,8 @@
 #include <sys/cdefs.h>
 __FBSDID("$FreeBSD$");
 
+#include "opt_platform.h"
+
 #define _ARM32_BUS_DMA_PRIVATE
 #include <sys/param.h>
 #include <sys/systm.h>