[PlatformWithOS] A short document about using Arch Linux

This was written from memory, so it needs to be rechecked.

Signed-off-by: Christopher Hall <christopherhall.hsw@gmail.com>