See https://github.com/rust-osdev/bootloader/pull/420 We worked around the issue for now by preventing inlining of the `map_physical_region` function, but we should figure out the root cause of this.