is_kernel_reg(ar_addr)

Returns a one if ar_addr is the address of a kernel register application register.