Why, pray tell?
The Pinebook Pro is a pretty nifty device. A 200$ laptop. With an RK3399 SoC in it, a hex-core AArch64 chip from Rockchip. That’s just amazing.
The default OS it ships with is a Debian with a vendor kernel and U-Boot provided by Rockchip.
For the shipped Debian this bootloader works well, but other OSes may have some problems.
In the case we’re adressing here it is the Manjaro kernel booting very slowly, caused by the Rockchip bootloader not bringing up all CPU cores of the chip properly.
There are a few workarounds for this (booting with
nr_cpus=4 for example), but all of them have their drawbacks.
Also, booting with an (almost) fully upstream bootloader is just, you know, more satisfying.