Free space on boot partition for Linux Mint

Bug frequently encountered on my Linux Mint machine