FTC Focus: Enforcing Vertically Integrated Operating Systems