Дальнейшие исследования показывают, что это была ошибка, исправленная где-то между выпусками 4.2.x и 4.3.6.
Ответ, вероятно, связан с тем, что ping использовал неправильный исходный IP-адрес для пакета ICMP. По умолчанию он выберет IP исходящего интерфейса пакета. В вашем случае это будет 192.168.80.1 на работе и 192.168.80.10 дома.
Вместо этого попробуйте следующее:
ping -I eth0 <address>