Page values for "Xiaomi's disclosure of kernel sources"