Based on #24 document how to use PXE boot: Note the missing os directory in Fedora 40 vs Fedora 39.

(split from #27 )

Goal

• Document how to use PXE boot

Acceptance Criteria

• Docs are updated
• Add a test case that tests that PXE boot works