Fixed bitrot in synopsis. The change of the return type of
Set_Boot_Blocks() from void to int had not reached here. Callers
still don't check the new return value.