No ideas yet.
Nothing at the moment
almost 5 years ago: wmerriam liked UEFI/GRUB keyboard support on Raspberry Pi 4