Porting Firecracker to a Raspberry Pi 4

Original article is at Porting Firecracker to a Raspberry Pi 4