diff -Nru seabios-0.5.1/debian/changelog seabios-0.5.1/debian/changelog
--- seabios-0.5.1/debian/changelog	2010-08-27 21:44:27.000000000 +1200
+++ seabios-0.5.1/debian/changelog	2010-08-27 21:43:16.000000000 +1200
@@ -1,3 +1,14 @@
+seabios (0.5.1-0ubuntu2.1) lucid-proposed; urgency=low
+
+  * 0001-fix-PkgLength-calculation-for-the-SSDT.patch: Backport upstream git
+    commit 3012af189e0f89bd33df1c0711a46f098053e9a7 to resolve ACPI issue
+    for Windows 7 & Windows 2008 guests with more than 4 vCPUs.
+    LP: #589063
+  * Add quilt Build Requires & change dpkg-source 3.0 (quilt) format to 
+    make use of patch
+
+ -- Nigel Jones <dev@nigelj.com>  Fri, 27 Aug 2010 21:15:58 +1200
+
 seabios (0.5.1-0ubuntu2) lucid; urgency=low
 
   * debian/control: we only need to build this once on i386 for all arches
diff -Nru seabios-0.5.1/debian/control seabios-0.5.1/debian/control
--- seabios-0.5.1/debian/control	2010-08-27 21:44:27.000000000 +1200
+++ seabios-0.5.1/debian/control	2010-08-27 21:41:06.000000000 +1200
@@ -2,7 +2,7 @@
 Section: misc
 Priority: optional
 Maintainer: Dustin Kirkland <kirkland@ubuntu.com>
-Build-Depends: debhelper (>= 7)
+Build-Depends: debhelper (>= 7), quilt
 Standards-Version: 3.8.3
 Homepage: http://www.coreboot.org/SeaBIOS
 
diff -Nru seabios-0.5.1/debian/patches/0001-fix-PkgLength-calculation-for-the-SSDT.patch seabios-0.5.1/debian/patches/0001-fix-PkgLength-calculation-for-the-SSDT.patch
--- seabios-0.5.1/debian/patches/0001-fix-PkgLength-calculation-for-the-SSDT.patch	1970-01-01 12:00:00.000000000 +1200
+++ seabios-0.5.1/debian/patches/0001-fix-PkgLength-calculation-for-the-SSDT.patch	2010-08-27 21:12:43.000000000 +1200
@@ -0,0 +1,28 @@
+commit 3012af189e0f89bd33df1c0711a46f098053e9a7
+Author: Magnus Christensson <mch@virtutech.com>
+Date:   Wed Nov 25 16:26:58 2009 +0100
+
+    Fix PkgLength calculation for the SSDT.
+    
+    Signed-off-by: Magnus Christensson <mch@virtutech.com>
+
+diff --git a/src/acpi.c b/src/acpi.c
+index f613b03..244536a 100644
+--- a/src/acpi.c
++++ b/src/acpi.c
+@@ -429,10 +429,12 @@ build_ssdt(void)
+     // build processor scope header
+     *(ssdt_ptr++) = 0x10; // ScopeOp
+     if (cpu_length <= 0x3e) {
++        /* Handle 1-4 CPUs with one byte encoding */
+         *(ssdt_ptr++) = cpu_length + 1;
+     } else {
+-        *(ssdt_ptr++) = 0x7F;
+-        *(ssdt_ptr++) = (cpu_length + 2) >> 6;
++        /* Handle 5-314 CPUs with two byte encoding */
++        *(ssdt_ptr++) = 0x40 | ((cpu_length + 2) & 0xf);
++        *(ssdt_ptr++) = (cpu_length + 2) >> 4;
+     }
+     *(ssdt_ptr++) = '_'; // Name
+     *(ssdt_ptr++) = 'P';
+
diff -Nru seabios-0.5.1/debian/patches/series seabios-0.5.1/debian/patches/series
--- seabios-0.5.1/debian/patches/series	1970-01-01 12:00:00.000000000 +1200
+++ seabios-0.5.1/debian/patches/series	2010-08-27 21:06:48.000000000 +1200
@@ -0,0 +1 @@
+0001-fix-PkgLength-calculation-for-the-SSDT.patch
diff -Nru seabios-0.5.1/debian/source/format seabios-0.5.1/debian/source/format
--- seabios-0.5.1/debian/source/format	1970-01-01 12:00:00.000000000 +1200
+++ seabios-0.5.1/debian/source/format	2010-08-27 21:44:27.000000000 +1200
@@ -0,0 +1 @@
+3.0 (quilt)