[U-Boot] [RFC PATCH] vexpress: Check TC2 firmware support before defaulting to nonsec booting