Yes, that's how you do it. It's not as bad as it seems. It's only bad if you don't flip the switch in time and have to cycle power several times. BTW, I think you have to flip the switch just before you see the dmesg output. You can do it as soon as you see the numbers counting when the kernal is loading.
Here's the worst part: That picture is wrong. The latest batch of PBPs is different, and the switch is hard to find. I wish I had taken a pictures of mine when I had it apart.
There are things that Manjaru can do which other OSs don't, particularly NetBSD. At least for now. For example, the blue key functions (except F7-F12) don't work. If you are familiar with NetBSD, you can make it do everything you want anyway. Somewhere here I wrote up how to use custom key combinations to change the display brightness, for example. The most annoying thing is probably going to be having to use a Wi-Fi dongle. If I ever get ambitious, I'm going to take mine apart and install it inside the PBP. I have a micro-SD of Manjaru, but honestly, since the first time I used it, I have only used it once, to do the keyboard firmware update. I could not get the updater to work with NetBSD. If I ever decide to put Tow-boot on SPI ROM, I'll need it again. For some reason, (at least the last time I tried) the NetBSD special device for the SPI ROM doesn't work. You will probably want to subscribe to the NetBSD port-arm mailing list.
Here's the worst part: That picture is wrong. The latest batch of PBPs is different, and the switch is hard to find. I wish I had taken a pictures of mine when I had it apart.
There are things that Manjaru can do which other OSs don't, particularly NetBSD. At least for now. For example, the blue key functions (except F7-F12) don't work. If you are familiar with NetBSD, you can make it do everything you want anyway. Somewhere here I wrote up how to use custom key combinations to change the display brightness, for example. The most annoying thing is probably going to be having to use a Wi-Fi dongle. If I ever get ambitious, I'm going to take mine apart and install it inside the PBP. I have a micro-SD of Manjaru, but honestly, since the first time I used it, I have only used it once, to do the keyboard firmware update. I could not get the updater to work with NetBSD. If I ever decide to put Tow-boot on SPI ROM, I'll need it again. For some reason, (at least the last time I tried) the NetBSD special device for the SPI ROM doesn't work. You will probably want to subscribe to the NetBSD port-arm mailing list.