arm64: Change kernel stack size to 16K