turn off -Os by default for the kernel and stick to -O2 repeated tests have shown...