kernel: add optimization levels to Kconfig (-Os, -O2, -O3, -Ofast)