[PATCH v4 3/3] kexec_file: Load kernel at top of system RAM if required