As pointed out several times in the headlined bug report, this is not an EFI problem. Several people reproduced this problem on systems either that were booting using the CSM or that did not have EFI firmwares in the first place.