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