Add COVERAGE build option
Add init_pmm_early call to hosted, so it builds again
Add missing file early_pmm.c
bulk adding a shedload of changes, sorry for the miscellaneous nature of this commit
Fix x86 vmm test - ensure IS_KERNEL_ADDR is called with the right address
Fix up kmalloc test - works now on hosted and x86
Readd layout.graph
Fix bug in PMM init - ensure overhead indices are consistent
Add GCOV support for embedded kernels.
Add GCOV support for embedded kernels.
Do not define strtol if HOSTED. Also add separate build directories.