For anyone who doesn't make using Apple hardware the top priority, might be a lot easier to just find more-open laptop hardware that you like, and use stock Debian atop that.