kernel.c: scope IDT[] to last till end

Signed-off-by: Arjun Sreedharan <arjun024@gmail.com>