x86: Explicitly disable sse
x86: Explicitly disable sse

Previously the external build system was relied upon for disablingdisabling sse.
This is not desirable as it has the affect of disabling sse for the entire user
level build. Instead, since we only want to disable it for the kernel, we will
disable it here in the kernel Makefile

cmr/seL4,zhicheng/seL4,cmr/seL4,cmr/seL4,zhicheng/seL4,zhicheng/seL4