Getting BAD_PAGE_FAULT when compiling lang/ruby21

[Willem Jan Withagen]

During running auto config I get:
----
checking valgrind/memcheck.h usability... Jan 29 12:30:04 witi kernel: 
BAD_PAGE_FAULT: pid 5529 tid 100057 (conftest), uid 0: pc 0x400c10 got a 
write fault (type 0x3) at 0
Jan 29 12:30:04 witi kernel: Trapframe Register Dump:
Jan 29 12:30:04 witi kernel: zero: 0    at: 0   v0: 0x1 v1: 0
Jan 29 12:30:04 witi kernel: a0: 0x3    a1: 0x7ffee7c8  a2: 0   a3: 0
Jan 29 12:30:04 witi kernel: t0: 0      t1: 0   t2: 0   t3: 0
Jan 29 12:30:04 witi kernel: t4: 0      t5: 0   t6: 0   t7: 0x400c08
Jan 29 12:30:04 witi kernel: t8: 0x11   t9: 0x4068e200  s0: 0x1 s1: 
0x7fffe8ac
Jan 29 12:30:04 witi kernel: s2: 0x7fffe8b4     s3: 0   s4: 0   s5: 0
Jan 29 12:30:04 witi kernel: s6: 0      s7: 0   k0: 0   k1: 0
Jan 29 12:30:04 witi kernel: gp: 0x418e90       sp: 0x7ffee818  s8: 0 
ra: 0x400c08
Jan 29 12:30:04 witi kernel: sr: 0x8413 mullo: 0xcafda0 mulhi: 0xe 
badvaddr: 0
Jan 29 12:30:04 witi kernel: cause: 0xc pc: 0x400c10
Jan 29 12:30:04 witi kernel: Page table info for pc address 0x400c10: 
pde = 0x8d291000, pte = 0xa0210f6a
Jan 29 12:30:04 witi kernel: Dumping 4 words starting at pc address 
0x400c10:
Jan 29 12:30:04 witi kernel: ac020000 00001021 8fbf0040 03e00008
Jan 29 12:30:04 witi kernel: Page table info for bad address 0: pde = 0, 
pte = 0
no
----

After that life goes on, so I guess that autoconfig did something with 
valgrind
that the kernel does not really like, like trying to write to address 0x0??

And as such nothing to worry about?

--WjW