Xiaomi RedmiBook 15 available in PH starting July 1