- forbid selecting kernel-server if not having PAE since PAE support is mandatory for kernel-server (tv, #1414) - support configuring Intel Sandy Bridge (tv)