The default config includes base.menu, not linux.list Signed-off-by: Stefan Brüns <stefan.bruens@rwth-aachen.de>