Links for bodo-platform-dummy-kernel