pbrobinson pushed to kernel (f25). "More straight forward way of syncing RPi3 between arm64 and arm32 (NFC)"