OS-2844 lx brand should support 64-bit user-land