x86: ports delegated to own file