Merge "Add check_builtins to libinit_host" into main