64 bit works, paging enabled.