Update boot.c