Install packages required for building the Linux kernel

Leave commands commented for the time being

Signed-off-by: Gianpaolo Macario <gmacario@gmail.com>