Hotplug and bug number 323

I have been working on setting up a personalized version of BBC using the the 
2.0 pre-release tar ball. The only show stopper I have hit is bug #323, USB 
mouse and keyboard not working. 

Not being a kernel hacker by any stretch of the imagination I have tried my 
best to see if I could get it working on my own. I have found that the 
modules load fine, the problem seems that the kernel never finds the mouse 
(I've been using a PS/2 keyboard while trying to figure all this out). The 
mouse never shows up in /proc/bus/usb/devices. From what I can tell, this is 
a function of hotplug. While the kernel configuration parameter is set to 
enable hotplug, hotplug seems to build and can be found in:

gar/kernel/linux/work/linux/include/config/hotplug
gar/kernel/linux/work/linux/drivers/hotplug
gar/meta/root.bin/files/hotplug
gar/meta/root.bin/download/hotplug
gar/meta/root.bin/work/hotplug

the binary hotplug never seems to make it into the ISO. After burning the CD 
and booting, there is no /sbin/hotplug. From what I read at 
http://linux-hotplug.sourceforge.net/?selected=usb, the kernel calls 
`/sbin/hotplug usb` to  contact "a policy agent which handles the USB-level 
configuration or activation tasks appropriate to this device and the current 
system configuration" which sounds like, if missing, it could cause USB mouse 
problems to me. 

Like I said, I am not a kernel hacker so I'm still not sure I am headed in the 
right direction so, I was wondering how I would get /sbin/hotplug to be added 
to the ISO? 

Of course, If I am totaly off on some wild goose chase, I would be interested 
in knowing that as well...

Thanks, 

Matt