Makefile.kmk,Devices/Makefile.kmk,Devices/EFI: Removed old EFI firmware. Using edk2-stable202005 from now on. bugref:4643