mango: include device specific headers

Signed-off-by: Michael Bestas <mikeioannina@gmail.com>

Change-Id: Ibd4162740126be239ba2142dae28a8ef53e98ae4