[COMMANDS] Fix the month number handling in wallclock settime

Wallclock settime accepts date/time string like:
wallclock set_time 06:45:00 22 05 2013
but this command string sets the month to the next month.
Problem is make time command is called by month + 1. This
is okay when month is string jan, feb etc because month
number in code will start from 0, 1 etc. Human will enter
month 1-12 so fix is to decrease the value before giving
to mktime.

Signed-off-by: Himanshu Chauhan <hschauhan@nulltrace.org>
[DOCS] Add release notes for upcoming v0.2.2 release

Signed-off-by: Anup Patel <anup@brainfault.org>
Merge pull request #22 from hschauhan/x86-next

X86 next
[x86] Fix the page unmap and subs. corruption

The invalidate page instruction wasn't behaving as
expected. Because of this the TLBs used to pollute
and give unexpected results like corruption. To get
away hack was put in to not unmap the pages once
mapped.

Until the invalidate page is fixed, shoot down the
complete TLB and freeup memory and virtual address
space.

Signed-off-by: Himanshu Chauhan <hschauhan@nulltrace.org>
[x86][DOCS] Update instruction run under AuthenticAMD.

Signed-off-by: Himanshu Chauhan <hschauhan@nulltrace.org>
Merge branch 'x86-next', remote-tracking branch 'upstream/master' into x86-next
[x86] Fix single tlb flush for given VA.

Signed-off-by: Himanshu Chauhan <hschauhan@nulltrace.org>
[x86] Pass on multiboot header info to cpu_init.

Signed-off-by: Himanshu Chauhan <hschauhan@nulltrace.org>