Add basic int -> hex converter for testing
Get BIOS memory map, and read from kernel space