This is an annoying problem indeed but there is an easy workaround. Here is a script I use whenever I ran out of space on /boot partitition: https://gist.githu

This is an annoying problem indeed but there is an easy workaround. Here is a script I use whenever I ran out of space on /boot partitition: https://gist.github.com/vzaliva/bee68ed709ddd2724791a56714eca5f6 https://gist.github.com/vzaliva/bee68ed709ddd2724791a56714ec...