The installation went well. However booting stalls on “loading initial ramdisk” for quite awhile, almost a minute. Is this normal for an old Lenovo with 4G RAM or could it be a problem with the EFI partition? Booting does continue as normal eventually and I’ve come across no other problems as yet.