New comment by jsav0 on void-packages repository https://github.com/void-linux/void-packages/pull/26000#issuecomment-776939257 Comment: Confirmed cross-compiling and then booting two RPI4s 4GB models here, no issues but the kernel is 5.4.68_1. When can we expect this to be officially merged?