Cleaning up Linux boot partition