Mark kernel memory as reserved

Add a bochs symbol file for easier debugging