Fixed kernel page fault on x86 port