vncb_init BUG

BUG: scheduling while atomic: swapper/0/0/0x00010002
Modules linked in:
CPU: 0 PID: 0 Comm: swapper/0 Not tainted 4.9.0-rc2+ #57
Hardware name: linux,dummy-virt (DT)
Call trace:
[<ffff000008088218>] dump_backtrace+0x0/0x1a8
[<ffff0000080883d4>] show_stack+0x14/0x1c
[<ffff0000082febf4>] dump_stack+0x8c/0xac
[<ffff000008154924>] __schedule_bug+0x58/0x6c
[<ffff00000866aeb8>] __schedule+0x4b0/0x544
[<ffff00000866af88>] schedule+0x3c/0xa0
[<ffff00000866b324>] schedule_preempt_disabled+0x20/0x38
[<ffff0000080f28bc>] mutex_optimistic_spin+0x174/0x1b0
[<ffff00000866c96c>] __mutex_lock_slowpath+0x38/0x148
[<ffff00000866cac0>] mutex_lock+0x44/0x48
[<ffff0000080a34b8>] __create_hyp_mappings+0x3c/0x4f8
[<ffff0000080a49a0>] create_hyp_mappings+0xbc/0x174
[<ffff0000080b223c>] kvm_vncb_init+0x60/0x134
[<ffff0000080a0f98>] cpu_hyp_reinit+0x108/0x1b8
[<ffff0000080a124c>] _kvm_arch_hardware_enable+0x28/0x40
[<ffff00000811f3dc>] flush_smp_call_function_queue+0xa4/0x160
[<ffff000008120144>] generic_smp_call_function_single_interrupt+0x10/0x18
[<ffff00000808e2a8>] handle_IPI+0xf8/0x160
[<ffff00000808150c>] gic_handle_irq+0x9c/0xb4
Exception stack(0xffff0000088b3dd0 to 0xffff0000088b3f00)
3dc0:                                   0000000000000000 0000000000000000
3de0: ffff8003fff41b38 ffff8003fff41b44 0100000000000000 00000000022c987b
3e00: 00000000000000ca 0000000002203a8d ffff0000088c0630 ffff0000088b0000
3e20: 0000000000000850 0000000000000068 000000000000004c 0000000000000033
3e40: 0000000000000019 0000000000000001 0000000000000007 000000000000000e
3e60: ffff0000086cf4c0 ffff0000088b6958 ffff0000088b0000 ffff0000088b69ec
3e80: 0000000000000001 ffff0000088b0000 ffff0000088b0000 ffff0000088d2623
3ea0: 0000000000000001 0000000000000000 0000000040840018 ffff0000088b3f00
3ec0: ffff00000808504c ffff0000088b3f00 ffff000008085050 0000000060000145
3ee0: ffff0000088b0000 ffff0000088b0000 ffffffffffffffff 0000000000000001
[<ffff0000080827b0>] el1_irq+0xb0/0x124
[<ffff000008085050>] arch_cpu_idle+0x10/0x18
[<ffff00000866e60c>] default_idle_call+0x18/0x28
[<ffff0000080f1d44>] cpu_startup_entry+0xd8/0x120
[<ffff00000866998c>] rest_init+0x7c/0x84
[<ffff000008840b54>] start_kernel+0x384/0x398
[<ffff0000088401d8>] __primary_switched+0x5c/0x64
Unable to handle kernel paging request at virtual address ffff7e000fb6af20
pgd = ffff00000894f000
[ffff7e000fb6af20] *pgd=000000043fdeb003, *pud=ffff8003ffdeb1c0