Almost the same, but my lenovo laptop has a menu when its starts and has multiple EFI variable entries, it allows me to select whatever EFI executable ive installed and also allows arguments, so basicly like installing Linux kernel with its arguments in the system itself. booted fine for a long time, had windows, linux, efishell, all as an option and set it to timeout on my Arch install as a default.
I like immediately booting into a kernel, skipping grub. (Im looking forward for Coreboot, if only we could get our systems not bootguard locked or relocked to some coreboot option) but thats a longer waiting game, Im getting a fresh new laptop, from a kinda new era, and have to see what type of boot options are allowed and I can use. (the boot menu any handy, or would grub be a more helpfull method. ill see)
Same reason why I chose i5, not looked up the benchmarks, but specs and some people on the discord, there arent that many functions a i7 woud have against me chosing i5, no vPro needed and Id rather have a few minutes more power (I could try compile on other machines if needed) Are we gaming on these? (openRTC2 for sure)