Manpages of flash-kernel in Debian jessie