modifications_imply_integrity_boot