4 ms·It sure make it easy to boot a 64bits OS on a 32bits UEFI machine...by Frenchgeek 11mo agoIt sure make it easy to boot a 64bits OS on a 32bits UEFI machine...