Возможно ли в DNS перенаправлять на разные серверы в зависимости от порта?

Да, не заметил разницы в одной циферке в айпишниках, подумал, что одинаковые.
В вашем случае можно использовать nginx проксю на адресе mail.nic.ru и соответствующих портах, которая будет апстримить запросы к соответствующим серверам. Хорошая статья на этот счет: www.alsigned.ru/?p=3189

Почему не удается обновиться до Php 7 на debian?

Подтверждаю рецепт. Рабочий