thanks for the hasty reply.
I didn't think there was a custom kernel for stock 2.3.3 on this device.
(I'd flash the Darky ICS ROM, but SD storage is a no-go; and since I have a 32GB class 10 Micro SD card, that a major downer -- have you heard of any other custom ROM for this device with full hardware support? e.g. none of the issues currently mentioned for Darky, onecosmic, et al)