Commit 93efb726bbf17901b945f2486cde5a9a7b01a87b

ckolivas 2012-02-22T19:38:01

Allow multiple different kernels to be chosen per device.