config, x86: move kernel specification from tests to FSConfig.py