linux-libre-4.19: Unset CONFIG_DEBUG_VIRTUAL

__phys_addr() detects an apparent bug in the copying of the init process
argument vector to user memory:

	--8<-- [serial garbage] -->8--
	[    4.020977] usb 4-1: new full-speed USB device number 2 using uhci_hcd
	[    4.270758] usb 4-1: New USB device found, idVendor=08ff, idProduct=2810, bcdDevice=17.03
	[    4.368592] usb 4-1: New USB device strings: Mfr=0, Product=1, SerialNumber=0
	[    4.454082] usb 4-1: Product: Fingerprint Sensor
	[    4.672954] psmouse serio1: synaptics: queried max coordinates: x [..5598], y [..4670]
	[    4.800457] psmouse serio1: synaptics: Touchpad model: 1, fw: 7.0, id: 0x1c0b1, caps: 0xd04791/0xb00000/0x20000/0x0, board id: 0, fw id: 434116
	[    4.954577] psmouse serio1: synaptics: serio: Synaptics pass-through port at isa0060/serio1/input0
	[    5.061893] usb 1-5: new high-speed USB device number 3 using ehci-pci
	[    5.102304] input: SynPS/2 Synaptics TouchPad as /devices/platform/i8042/serio1/input/input7
	[    5.257739] EXT4-fs (sda1): mounted filesystem with ordered data mode. Opts: (null)
	[    5.349456] VFS: Mounted root (ext4 filesystem) on device 8:1.
	[    5.421659] devtmpfs: mounted
	[    5.458643] Freeing unused kernel image memory: 348K
	[    5.518287] usb 1-5: New USB device found, idVendor=04b3, idProduct=4485, bcdDevice= 0.01
	[    5.616225] usb 1-5: New USB device strings: Mfr=0, Product=0, SerialNumber=0
	[    5.701633] Write protecting the kernel text: 4160k
	[    5.760054] Write protecting the kernel read-only data: 1304k
	[    5.760056] NX-protecting the kernel data: 1984k
	[    5.829730] x86/mm: Checked W+X mappings: passed, no W+X pages found.
	[    5.884953] hub 1-5:1.0: USB hub found
	[    5.961324] x86/mm: Checking user space page tables
	[    5.961552] x86/mm: Checked W+X mappings: passed, no W+X pages found.
	[    6.006500] hub 1-5:1.0: 4 ports detected
	[    6.064656] Run /sbin/init as init process
	[    6.239532] ------------[ cut here ]------------
	[    6.240472] kernel BUG at arch/x86/mm/physaddr.c:79!
	[    6.354175] invalid opcode: 0000 [#1] SMP PTI
	[    6.355147] CPU: 0 PID: 1 Comm: swapper/0 Not tainted 4.19.56-gnu-1 #18
	[    6.355147] EIP: __phys_addr+0x3c/0x55
	[    6.355147] Code: 18 cf 00 89 c3 8d b0 00 00 00 40 74 0b e8 a5 ff ff ff 84 c0 74 02 0f 0b a1 20 b4 20 cf 85 c0 74 1c 89 f2 c1 ea 0c 39 d0 73 02 <0f> 0b 89 d8 e8 c2 e0 ff ff 85 d2 75 04 39 f0 74 02 0f 0b 5b 89 f0
	[    6.355147] EAX: 000375fe EBX: ff603ff1 ECX: fffff000 EDX: 0003f603
	[    6.355147] ESI: 3f603ff1 EDI: 00000000 EBP: f0891ec8 ESP: f0891ec0
	[    6.355147] DS: 007b ES: 007b FS: 00d8 GS: 00e0 SS: 0068 EFLAGS: 00010283
	[    6.355147] CR0: 80050033 CR2: ffbff000 CR3: 0f1f4000 CR4: 000406f0
	[    6.355147] Call Trace:
	[    6.355147]  __check_object_size+0x89/0x12d
	[    6.355147]  copy_strings+0x1c8/0x236
	[    6.355147]  copy_strings_kernel+0x29/0x39
	[    6.355147]  __do_execve_file+0x399/0x54a
	[    6.355147]  do_execve+0x16/0x18
	[    6.355147]  run_init_process+0x2c/0x31
	[    6.355147]  ? rest_init+0x85/0x85
	[    6.355147]  try_to_run_init_process+0xc/0x2e
	[    6.355147]  ? rest_init+0x85/0x85
	[    6.355147]  kernel_init+0x9e/0xda
	[    6.355147]  ret_from_fork+0x19/0x24
	[    7.582015] ---[ end trace d49190e72b99bf2e ]---
	[    7.582040] usb 1-6: new high-speed USB device number 4 using ehci-pci
	[    7.637276] EIP: __phys_addr+0x3c/0x55
	[    7.760359] Code: 18 cf 00 89 c3 8d b0 00 00 00 40 74 0b e8 a5 ff ff ff 84 c0 74 02 0f 0b a1 20 b4 20 cf 85 c0 74 1c 89 f2 c1 ea 0c 39 d0 73 02 <0f> 0b 89 d8 e8 c2 e0 ff ff 85 d2 75 04 39 f0 74 02 0f 0b 5b 89 f0
	[    7.985134] EAX: 000375fe EBX: ff603ff1 ECX: fffff000 EDX: 0003f603
	[    8.060160] ESI: 3f603ff1 EDI: 00000000 EBP: f0891ec8 ESP: cf1f935c
	[    8.135222] DS: 007b ES: 007b FS: 00d8 GS: 00e0 SS: 0068 EFLAGS: 00010283
	[    8.216531] CR0: 80050033 CR2: ffbff000 CR3: 0f1f4000 CR4: 000406f0
	[    8.228376] usb 1-6: New USB device found, idVendor=17ef, idProduct=1004, bcdDevice= 3.20
	[    8.291652] Kernel panic - not syncing: Attempted to kill init! exitcode=0x0000000b
	[    8.291652]
	[    8.389388] usb 1-6: New USB device strings: Mfr=2, Product=1, SerialNumber=3
	[    8.292543] Kernel Offset: 0xdc00000 from 0xc1000000 (relocation range: 0xc0000000-0xf7dfdfff)
	[    8.292543] ---[ end Kernel panic - not syncing: Attempted to kill init! exitcode=0x0000000b
	[    8.292543]  ]---

1 files changed, 1 insertions, 1 deletions

diff --git a/src/build/linux-libre-4.19/config b/src/build/linux-libre-4.19/config
index 035fdb5..5a53295 100644
--- a/src/build/linux-libre-4.19/config
+++ b/src/build/linux-libre-4.19/config
@@ -2820,7 +2820,7 @@ CONFIG_HAVE_DEBUG_KMEMLEAK=y
 # CONFIG_DEBUG_STACK_USAGE is not set
 # CONFIG_DEBUG_VM is not set
 CONFIG_ARCH_HAS_DEBUG_VIRTUAL=y
-CONFIG_DEBUG_VIRTUAL=y
+# CONFIG_DEBUG_VIRTUAL is not set
 # CONFIG_DEBUG_MEMORY_INIT is not set
 # CONFIG_DEBUG_PER_CPU_MAPS is not set
 # CONFIG_DEBUG_HIGHMEM is not set