CONFIG_VAL change not detected by fixdep
I noticed that changing CONFIG_VPL_SYS_MALLOC_F did not result in rebuilding crt0_64.S and so the build failed to boot.
This could be because main() in fixdep.c does not include VPL
However, changing that did not seem to correct the problem.