There's working UEFI ARM64 firmware for the PI 4 (and Pi 3).
https://github.com/pftf/RPi4

This allows installing Windows 10 on the Pi3 and FreeBSD on the Pi4, although both suffer from a lack of WiFi and video drivers.