guard against the case that CONFIG_WAIT_BEFORE_CPUS_INIT is not defined at all.
-rw-r--r-- 17987 COPYING
-rw-r--r-- 14621 Makefile
-rw-r--r-- 2576 README
drwxr-xr-x - documentation
drwxr-xr-x - payloads
drwxr-xr-x - src
drwxr-xr-x - util