[kernel] Ditch memory_clear() and replace it with the more generic memory_set()
[kernel] Enable x87 FPU and SSE, and tell clang to -O3 (vectorization)