UEFI is larger than the Linux kernel (if you don't include drivers, because UEFI doesn't have drivers). And it has orders of magnitude more syscalls. So Linux is actually better than UEFI from a bloat standpoint.