iPXE builds for these platforms: ${PLATFORMS}

Changes to the default configuration:
- enable HTTPS, see https://www.ipxe.org/crypto
- raise minimum TLS version to 1.2
