+x86_64 HAL(not working port yet)