Re: [PATCH 3/3] x86: coral: Update the boot script