New patch to create a kernel with 16k stack - for test purposes only