ASUS A716 KernelIoControl not working for some...

Hello,

I want to get some unique number for the PPC. For all HP and Acer PPC
running PPC2003 or above, I have no problem in getting the SD card
serial number by
KernelIoControl(IOCTL_DISK_GET_STORAGEID,)

However, it does not work for Asus A716 (which is a PPC2003), it
return FALSE when executing
KernelIoControl(IOCTL_DISK_GET_STORAGEID,)

What is even worst is I also get a FALSE (i.e. failure) when executing
the folloing IOCTL
KernelIoControl(IOCTL_HAL_GET_UUID,)
KernelIoControl(IOCTL_HAL_GET_DEVICEID,)

Are there any people having similar problems and how to solve this
problem? Many many many thanks in advance.

Best regards,
John. (j@sky-power.com.hk)