working on x86-64 kernel support