Obtained from 4.12-rc2. Copied by hand, caveat lector.

...
sd 1:0:0:0: [sdb] Attached SCSI disk
input: HDA NVidia HDMI.DP,pcm=3 as /devices/pci0000:00/0000:00:01.0/0000:01:00.1/sound/card2/input7
input: HDA NVidia HDMI.DP,pcm=7 as /devices/pci0000:00/0000:00:01.0/0000:01:00.1/sound/card2/input8
input: HDA NVidia HDMI.DP,pcm=8 as /devices/pci0000:00/0000:00:01.0/0000:01:00.1/sound/card2/input9
input: HDA NVidia HDMI.DP,pcm=9 as /devices/pci0000:00/0000:00:01.0/0000:01:00.1/sound/card2/input10
clocksource: Switched to clocksource tsc
BUG: unable to handle kernel paging request at 00000000ffffffff
IP: 0xffffffff
PGD 0
P4D 0

Oops: 0010 [#1] SMP
Modules linked in:
CPU: 0 PID: 0 Comm: swapper/0 Not tainted 4.12.0-rc2 #503
Hardware name: MSI MS-7758/Z77A-G41 (MS-7758), BIOS V2.5 08/31/2012
task: ffffffff81e14500 task.stack: ffffffff81e000000
RIP: 0010:0xffffffff
RSP: 0000:ffff88021ec03dc0 EFLAGS: 00010083
RAX: ffff880214cd34a8 RBX: ffff8802153d7b68 RCX: ffff8802153d7b68
RDX: ffff880214cd34a8 RSI: ffff880215ae6aa8 RDI: ffff880214cd34a8
RBP: ffff88021ec03e18 R08: 0000000000000000 R09: 0000000000000001
R10: 0000000000000000 R11: ffffffff815336b5 R12: ffff880214cd34a8
R13: ffff8802153d7b68 R14: ffff8802153d7b68 R15: ffff880214cd3400
FS:  0000000000000000(0000) GS: ffff88021ec00000(0000) knlGS:0000000000000000
CS:  0010 DS: 0000 ES 0000: CR0: 00000000080050033
CR2: 00000000ffffffff CR3: 0000000001e0f000 CR4: 00000000001406f0
Call Trace:
 <IRQ>
 ? nvkm_timer_alarm_trigger+0x105/0x140
 nv04_timer_intr+0x78/0xa0
 nvkm_timer_intr+0x12/0x20
 nvkm_subdev_intr:0x12/0x20
 nvkm_mc_intr+0xd1/0x150
 nvkm_pci_intr+0x3f/0x60
 __handle_irq_event_percpu+0x44/0x2f0
 handle_irq_event_percpu+0x1e/0x50
 handle_fasteoi_irq+0x8e/0x170
 handle_ira+0x15/0x20
 do_IRQ+0x57/0x110
 common_interrupt+0x90/0x90
RIP: 0010:cpuidle_enter_state+0x133/0x340
RSP: 0000:ffffffff81e03de0 EFLAGS: 00000206 ORIG_RAX: ffffffffffffffbe
RAX: ffffffff81e14500 RBX: 00000000940a89d5 RCX: 0000000000000001
RDX: 20c49ba5e353f7cf RSI: 0000000000000001 RDI: ffffffff81e14500
RBP: ffffffff81e03e18 R08: cccccccccccccccd R09: 0000000000000018
R10: 0000000000000000 R11: 0000000000000000 R12: 0000000000000004
R13: 0000000000000004 R14: ffff88021ec21b70 R15: 0000000093919bc1
 </IRQ>
 cpuidle_enter+0x12/0x20
 call_cpuidle+0x1e/0x40
 do_idle+0xe3/0x1a0
 cpu_startup_entry+0x18/0x20
 rest_init+0x11d/0x130
 start_kernel+0x3a3/0x3b0
 x86_64_start_reservations+0x2a/0x2c
 x86_64_start_kernel+0x173/0x186
 secondary_startup_64+0x9f/0x9f
 ? secondary_startup_64+0x9f/0x9f
Code:  BAD RIP value.
RIP: 0xffffffff RSP: ffff88021ec03dc0
CR2: 00000000ffffffff
---[ end trace ecce4c8bb39665f7 ]--
Kernel panic - not syncing: Fatal exception in interrupt
Kernel Offset: diabled
---[ end Kernel panic - not syncing: Fatal exception in interrupt