Cast from uint32_t to bus_addr_t earlier, since it may exceed 32 bits.
as suggested by gimpy et al, "no config" the netbsd-device kernels.
Reduces `build.sh release` by about a gig.