It does work, but it's not really straight forward and the manual kernel packaging procedure does depend on the target device...