https://guid.cam/tech/terrance/do-you-need-boot-partition-linux/