I have to admit, I am a tad disapointed. I was hoping that by Linux 4, we would have migrated to the Minix3 kernel, and by 4.2 would be adopting isolated device drivers.
sigh
But patch on the fly is good. Will have to revisit the RHEL certification.
Squeezing that last mips out of the machine has taken precedence to structurally elegant but CPU hungry architectures.