Terminology change : task -> thread.
Remove hard-coded region types.
Access k_end_addr as const void instead of char.