Re: [U-Boot] [PATCH 3/4 v4] powerpc: keymile: Add a check for the PIGGY debug board