coconut: include device specific headers

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