From 9e131e6f6e7538d7cf597804f85e1ff913843b8f Mon Sep 17 00:00:00 2001
From: David Schmenk <dschmenk@gmail.com>
Date: Sun, 6 Oct 2013 14:09:28 -0700
Subject: [PATCH] Fixed edit of /boot/cmdline.txt - thanks Ivan Drucker!

---
 debian/postinst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/postinst b/debian/postinst
index f8a9415..4ce7512 100755
--- a/debian/postinst
+++ b/debian/postinst
@@ -25,7 +25,7 @@ case "$1" in
         #
         if [ "$(grep ttyAMA0 /boot/cmdline.txt)" != "" ] ; then
 	    mv /boot/cmdline.txt /boot/cmdline.bak
-	    echo "dwc_otg.lpm_enable=0 console=tty1 root=/dev/mmcblk0p2 rootfstype=ext4 elevator=deadline rootwait" > /boot/cmdline.txt
+	    sed -i 's/console=ttyAMA0,[0-9]* kgdboc=ttyAMA0,[0-9]* //g' /boot/cmdline.txt
         fi
         #
         # Disable getty on built-in serial port.