Kernel operators on the upper half-space: boundedness and compactness criteria