[oe] linux-davinci git: add hack for hawkboard machine ID

[Koen Kooi]

From: Koen Kooi <k-kooi at ti.com>

Signed-off-by: Koen Kooi <k-kooi at ti.com>
---
diff --git a/recipes/linux/linux-davinci_git.bb b/recipes/linux/linux-davinci_git.bb
index ee28d90..87f6824 100644
--- a/recipes/linux/linux-davinci_git.bb
+++ b/recipes/linux/linux-davinci_git.bb
@@ -85,3 +85,10 @@ SRC_URI_append_da850-omapl138-evm = "file://logo_linux_clut224.ppm \
 SRC_URI_append_hawkboard          = "file://logo_linux_clut224.ppm \
                                      file://da850_omapl138_opp456mhz.patch;patch=1 \
                                      file://patch_hawk.diff;patch=1"
+
+
+do_configure_prepend_hawkboard() {
+	sed -i s:2157:2495:g ${S}/arch/arm/tools/mach-types
+}
+
+