fix return value for ABT Kernel