[MACHINES] Added symbol exports.
[OS] main - Exported bt_get_kernel_params().