kern/52761: evbarm RPI2 panic: kernel diagnostic assertion "!(armreg_ttbcr_read()...

[kardel%netbsd.org@localhost]

>Number:         52761
>Category:       kern
>Synopsis:       panic: kernel diagnostic assertion "!(armreg_ttbcr_read() & TTBCR_S_PD0)" failed: file "/src/NetBSD/act/src/sys/arch/arm/arm/ast.c", line 89
>Confidential:   no
>Severity:       critical
>Priority:       high
>Responsible:    kern-bug-people
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Sat Nov 25 08:05:00 +0000 2017
>Originator:     kardel%netbsd.org@localhost
>Release:        NetBSD 8.99.7-2017-11-24
>Organization:
	
>Environment:
	
	
System: NetBSD assel 8.99.7 NetBSD 8.99.7 (RPI2SENSOR) #2: Fri Nov 24 23:06:54 CET 2017  xxx%xxx.xxx.xxx@localhost:/src/NetBSD/act/src/obj.evbarm/sys/arch/evbarm/compile/RPI2SENSOR evbarm
Architecture: i386
Machine: i386
>Description:
	with -current of 2017-11-24 on RPI2 the boot fails sometimes with
	panic: kernel diagnostic assertion "!(armreg_ttbcr_read() & TTBCR_S_PD0)" failed: file "/src/NetBSD/act/src/sys/arch/arm/arm/ast.c", line 89

WARNING: no TOD clock present
WARNING: using filesystem time
WARNING: CHECK AND RESET THE DATE!
vcaudio0 at vchiq0: auds
panic: kernel diagnostic assertion "!(armreg_ttbcr_read() & TTBCR_S_PD0)" failed: file "/src/NetBSD/act/src/sys/arch/arm/arm/ast.c", line 89 
Stopped in pid 0.77 (system) at netbsd:cpu_Debugger+0x4:        bx      r14
db{3}> bt
0xbaa9bf5c: netbsd:vpanic+0x10
0xbaa9bf74: netbsd:__udivmoddi4
0xbaa9bfac: netbsd:userret+0x200

>How-To-Repeat:
	build/install/boot 8.99.7-2017-11-24
	boot (serveral times/shutdown -r several time)
	observe panic
>Fix:
	?