It might be possible to replace `vesafb` with `efifb`, since UEFI booting is now available in x86_64. Further progress will be recorded here.