RPI kernels in -current expected to work?

[Frank Kardel <kardel%netbsd.org@localhost>]

Hi,

I see a long stream of

fixup: pd ....
fixup: pde ... nothing to do

lines scrolling (forever?) after the initial boot kernel messages.
The boot process does not seem to make any reasonably observable 
progress at that point.

This happens with self compiled kernels (as of 2014-04-06) and
kernels fetched from nyftp for 20140403 and 20140406.

The following older kernel works:
NetBSD rpi 6.99.38 NetBSD 6.99.38 (RPI) #0: Sat Mar 29 06:14:39 UTC 2014 

builds%b44.netbsd.org@localhost:/home/builds/ab/HEAD/evbarm-earmhf/201403290440Z-obj/home/builds/ab/HEAD/src/sys/arch/evbarm/compile/RPI 
evbarm

Best regards,
  Frank