firmware: only allow EDD on x86