add optimization flag
remove ugly BOOTSTRAP declarations in C code, fix boot.S accordingly