; SRs to find memory size and leave it as a "note" for the kernel

map_phys_mem:
	int 0x15