Add halt status bit to kern_status_t
Minor cleanup, change typename kernel_status_t to status_byte_t