BOOT_CFLAGS := -O1 $(filter-out -O%, $(BOOT_CFLAGS))