mfi(4): Fix a wrong assignment.
ndis(4): Fix a wrong assignment.
kernel/ic: Fix allocation of the output buffer.
libc/regex: Fix setting the maximum of the range.
amd(4): Remove duplicate assignment.
kernel - remove PAGE RACE kprintf

* Used for debugging verification of the race, no longer needed.

Reported-by: tuxillo