brcm2708: switch device tree compilation to linux