Documentation/kernel-parameters.txt: add min_addr, fix max_addr