GitLab

HAL_QueryPlatform was attempting debug output before the debug
UART had been initialised. Since both the PL011 & MiniUART
configuration depends on getting/setting firmware values, fix it
by just removing the debug prints from HAL_QueryPlatform.