Move the bootctl HAL to peripheral directory am: 0c319f4997
am: a8cff613ed

* commit 'a8cff613ed430c11265bb8bf41714a9e7cf22490':
  Move the bootctl HAL to peripheral directory

Change-Id: Ie07dcc1e728754b96bc60c58aca628cd428f43c8
diff --git a/BoardConfig.mk b/BoardConfig.mk
index c5a8440..829e84e 100644
--- a/BoardConfig.mk
+++ b/BoardConfig.mk
@@ -29,6 +29,8 @@
 $(call add_peripheral, intel, sensors/mraa)
 # Add HW Keystore support
 $(call add_peripheral, intel, keystore/chaabi/src)
+# Bootctrl HAL
+$(call add_peripheral, intel, bootctrl)
 
 BOARD_SYSTEMIMAGE_PARTITION_SIZE := 268435456
 BOARD_USERDATAIMAGE_PARTITION_SIZE := 536870912