Implement a partial update mechanism. Since the SPI-connected display
cannot read the framebuffer memory, we have to push the framebuffer to
the display. ssdfb(4) will now be able to update only a certain region
region of the framebuffer as soon as there is infrastructure to trigger
Fix various RK3399 clocks and add support for getting the clock frequency
of the clocks that we can set.
Assign clock rates (and parents) based on the "assigned-clocks" device tree
property, but only on RK3399 for now as the code for the other Rockchip SoCs
isn't quite ready yet.
Last but not least, fixup a mistake on the firmware for the Theobroma
Systems RK3399-Q7 module such that the "big" cluster uses BPLL as intended.
On AMD CPUs, If the LFENCE serialization MSR bit is already set, then
we don't need to uncondtionally set it.
Worksaround a suspected bug in newer Linux KVM, which may trigger a
#GP fault on writes to this MSR.