Removed devicetree.h from riscv.mk.in since it no longer exists