krb5: Fix debug package

There's no *.so.* files so we just pick up the .debug directory.
maui-contents: Add libicule50 instead of libicule

Actually it seems the package is called libicule50.
linux-maui: Update to Linux 3.10.3

Update to latest stable release.
maui-contents: Just install kernel packages

Instead of copying bzImage and uncompressing modules ourselves.