Fix Maguro build + Add Verizon specific bits for jfltevzw