Add the different build types for the devkit

We are building a 4.18, 5.2 and a linux-next kernel so use the
build_type switch to select between them

Signed-off-by: Angus Ainslie (Purism) <angus@akkea.ca>