bios/boot/ update linux memory mapping