Change Details

The patch survived a `make universe UNIVERSE_TARGET=buildkernel` and two MIPS buildkernels (`XLP` and `XLR`).

The patch survived a `make universe UNIVERSE_TARGET=buildkernel` and two MIPS buildkernels (`XLP` and `XLR`) because they do not have a `GENERIC` kernel to make `make universe` happy; the same problem exists for ARM but the patch doesn't touch anything ARM-specific.

The patch survived a `make universe UNIVERSE_TARGET=buildkernel` and two two MIPS buildkernels (`XLP` and `XLR`) because they do not have a `GENERIC` kernel to make `make universe` happy; the same problem exists for ARM but the patch doesn't touch anything ARM-specific.