[U-Boot] [PATCH v2 1/4] arm64: Correct passing of Linux kernel args