How to clean up full /boot safely?

[Ralf Mardorf]

On Sat, 10 Feb 2018 20:41:05 +0000, Peter Flynn wrote:
>Memo to self for next installation: partition manually and create a
>separate /boot, /home, and /

Actually you would avoid the OP's issue by not seperating /boot from /.
The issue is caused by a seperated /boot partition and an assumed size
that is idiotic, if somebody should need to install many kernels.