bootm: vxworks: Make do_bootvx_fdt() static