Puede que sea lo que me ocurre a mi en mi placa ASUS P6X58-D Premium. Según ASUS, una parte de la memoria RAM se usa para la inicialización del código de base de la BIOS, y se guarda un espacio de la RAM para la rápida inicialización de la BIOS. En mi caso, en lugar de los 6144MB, me aparecen 6136MB (8MB menos), pero como tu placa es bastante más nueva, y lleva UEFI (mas rápida que las antiguas BIOS), quiza reserve ese espacio para esta función... O pùede que sea por otro motivo...
Si puedes, quita uno de los módulos a ver si te aparecen 8192MB o 8167MB (-25MB, la mitad de lo que estás "perdiendo" ahora) o 8142MB (-50MB la cantidad que estas perdiendo ahora)