linux.inc: fix installation of devicetree files

Signed-off-by: Koen Kooi <koen@dominion.thruhere.net>