Merge "Seandroid: Addressing boot-up denials"