Turn your Raspberry Pi into a PXE server