Hello, anyone knows if RPI3 Model B+ is support by NetBSD-current? I've downloaded daily arm64.img but kernel panics on boot: panic: kernel diagnostic assertion "pic == &bcm2836mp_pic[cpuid]" failed Any ideas?