boot: use MAX() where appropriate

diff --git a/src/boot/efi/linux_x86.c b/src/boot/efi/linux_x86.c
index 369752e3ea9d9ed4b470e6b39f69158ef86c813e..ddae4d160a196add246ffc3633f98cfe5b9bd687 100644 (file)
--- a/src/boot/efi/linux_x86.c
+++ b/src/boot/efi/linux_x86.c
@@ -164,7 +164,7 @@ EFI_STATUS linux_exec_efi_handover(
                 linux_relocated = xmalloc_pages(
                                 AllocateMaxAddress,
                                 EfiLoaderCode,
-                                EFI_SIZE_TO_PAGES(kernel_size_in_memory > kernel->iov_len ? kernel_size_in_memory : kernel->iov_len),
+                                EFI_SIZE_TO_PAGES(MAX(kernel_size_in_memory, kernel->iov_len)),
                                 UINT32_MAX);
                 linux_buffer = memcpy(
                                 PHYSICAL_ADDRESS_TO_POINTER(linux_relocated.addr), kernel->iov_base, kernel->iov_len);