gc_hal_kernel_device.c: Update construct function to be more v4 like