11_ignore_CSIn.patch
12_version_suffix.patch
50_initrd.patch
60_bigmem.patch
70_dde.patch

protected_payload.patch
Add-some-padding-to-make-objects-fit-a-single-cache-.patch
#acpihalt.patch

0001-kern-set-the-name-of-the-kernel-task-to-gnumach.patch
0002-ddb-print-task-names-if-available.patch
0003-ddb-use-db_thread_stat-to-format-the-flags.patch
0004-i386-reformat-the-key-map.patch
0005-i386-remap-some-keys.patch
0006-doc-explain-the-floating-point-flag-in-kdb-output.patch