/sys/boot/amd64/