[LinuxBIOS] [PATCH] v2: improve debugging in device_util.c