This function was changed, so these packages need to be rebuilt to have the kernel installed under the new filename 'vmlinuz'
Support the downstream kernel and a close-to-mainline fork. Waveform data for the eInk display and the Wi-Fi driver are not included yet. Everything else should work.