- introduce macros to switch between kernel and user space
- add core-specific variable to store the address of the kernel stack
- add task value to store the latest user-space stack pointer