小米笔记本又活了？来了个高性能本，说好的都是REDMIBOOK呢