Update kernel configuration

Signed-off-by: Carlo Caione <carlo@caione.org>