doc/dev: fix formatting for Linux note

Created by: bobheadxi

GitHub emoji don't render in docsite, and we have built-in admonitions for this purpose:

Test plan

sg run docsite to validate formatting