[kernel] add some sign-offs for upstream

[Dave Jones]

commit 046ffa1bbab3dff4a65c1972d9fe7aa2ee4363a8
Author: Dave Jones <davej at redhat.com>
Date:   Tue Apr 16 14:38:04 2013 -0400

    add some sign-offs for upstream

 debug-bad-pte-dmi.patch     |    5 +++++
 debug-bad-pte-modules.patch |    5 +++++
 2 files changed, 10 insertions(+), 0 deletions(-)
---
diff --git a/debug-bad-pte-dmi.patch b/debug-bad-pte-dmi.patch
index eddd595..f9485b8 100644
--- a/debug-bad-pte-dmi.patch
+++ b/debug-bad-pte-dmi.patch
@@ -1,3 +1,8 @@
+Occasionally we see reports of page table corruption, and it's not clear why.
+By printing out the hardware name, we could potentially see some patterns.
+
+Signed-off-by: Dave Jones <davej at redhat.com>
+
 --- linux.orig/include/asm-generic/bug.h
 +++ linux/include/asm-generic/bug.h
 @@ -55,6 +55,8 @@ struct bug_entry {
diff --git a/debug-bad-pte-modules.patch b/debug-bad-pte-modules.patch
index 88ca280..0472310 100644
--- a/debug-bad-pte-modules.patch
+++ b/debug-bad-pte-modules.patch
@@ -1,3 +1,8 @@
+When we encounter a bad PTE, print out what modules were loaded,
+so we can see if there is a common driver potentially at fault.
+
+Signed-off-by: Dave Jones <davej at redhat.com>
+
 diff -durpN '--exclude-from=/home/davej/.exclude' /home/davej/src/kernel/git-trees/linux/mm/memory.c linux-dj/mm/memory.c
 --- /home/davej/src/kernel/git-trees/linux/mm/memory.c	2013-02-26 14:41:18.591116577 -0500
 +++ linux-dj/mm/memory.c	2013-02-28 20:04:37.678304092 -0500