Louis - the patch to enable building vmcoreinfo is attached in https://bugs.launchpad.net/ubuntu/+source/linux/+bug/988512/comments/10. Apply it and build for amd64 as you normally would, but be sure to keep a log, e.g.,
fakeroot debian/rules clean; echo "dpkg-buildpackage -B -us -uc 2>&1 |tee log.txt"|schroot -c precise-amd64
Louis - the patch to enable building vmcoreinfo is attached in https:/ /bugs.launchpad .net/ubuntu/ +source/ linux/+ bug/988512/ comments/ 10. Apply it and build for amd64 as you normally would, but be sure to keep a log, e.g.,
fakeroot debian/rules clean; echo "dpkg-buildpackage -B -us -uc 2>&1 |tee log.txt"|schroot -c precise-amd64