Fix boot.c