kernel manifest: remove unsupported devices