[PATCH] xilinx: Make Xilinx custom distro boot commands more verbose