Name IPXE_CONFIG to CONFIG_IPXE

A common prefix is more reasonable for such config attributes.