x86: fix some bugs about EFI runtime code mapping