Is there a good, relatively high end ARM or RISC-V laptop available that I could install Linux on?I'm thinking about something along the lines of the recent ARM-based MacBooks, but not Apple.