In order to gain further space, and especially now when it is clear that your big files like:
play no significant role any more, within your Librem 5 /boot partition, you might consider to remove them completely away (if not already done). And, @irvinewade, many thanks for sharing with us here this very relevant CLI command! As written here: