kernel/include/config/UIO_HV_GENERIC