[Aarch64-laptops] Buy Coke in Texas (telegram @Leafed6)