Merge pull request #2712 from makinacorpus/master

Do not drop sys_boot