localhost ~ # grep -i intel /usr/src/linux/.config
CONFIG_HAVE_INTEL_TXT=y
CONFIG_CPU_SUP_INTEL=y
CONFIG_X86_MCE_INTEL=y
CONFIG_MICROCODE_INTEL=y
# CONFIG_INTEL_IDLE is not set
# CONFIG_MTD_INTEL_VR_NOR is not set
# CONFIG_MOXA_INTELLIO is not set
# CONFIG_HW_RANDOM_INTEL is not set
# CONFIG_I2C_INTEL_MID is not set
CONFIG_AGP_INTEL=ylocalhost ~ # grep -i intel /usr/src/linux/.config
CONFIG_HAVE_INTEL_TXT=y
CONFIG_CPU_SUP_INTEL=y
CONFIG_X86_MCE_INTEL=y
CONFIG_MICROCODE_INTEL=y
# CONFIG_INTEL_IDLE is not set
# CONFIG_MTD_INTEL_VR_NOR is not set
# CONFIG_MOXA_INTELLIO is not set
# CONFIG_HW_RANDOM_INTEL is not set
# CONFIG_I2C_INTEL_MID is not set
CONFIG_AGP_INTEL=y
CONFIG_SND_HDA_INTEL=y
# CONFIG_SND_INTEL8X0 is not set
# CONFIG_SND_INTEL8X0M is not set
# CONFIG_LEDS_INTEL_SS4200 is not set
# CONFIG_INTEL_MID_DMAC is not set
# CONFIG_INTEL_IOATDMA is not set
# CONFIG_INTEL_MENLOW is not set
# CONFIG_INTEL_IPS is not set
# CONFIG_INTEL_TXT is not set
# CONFIG_CRYPTO_CRC32C_INTEL is not set
# CONFIG_CRYPTO_GHASH_CLMUL_NI_INTEL is not set
# CONFIG_CRYPTO_AES_NI_INTEL is not set
CONFIG_SND_HDA_INTEL=y
# CONFIG_SND_INTEL8X0 is not set
# CONFIG_SND_INTEL8X0M is not set
# CONFIG_LEDS_INTEL_SS4200 is not set
# CONFIG_INTEL_MID_DMAC is not set
# CONFIG_INTEL_IOATDMA is not set
# CONFIG_INTEL_MENLOW is not set
# CONFIG_INTEL_IPS is not set
# CONFIG_INTEL_TXT is not set
# CONFIG_CRYPTO_CRC32C_INTEL is not set
# CONFIG_CRYPTO_GHASH_CLMUL_NI_INTEL is not set
# CONFIG_CRYPTO_AES_NI_INTEL is not set

not sure if this will apply to you, but IIRC my new lappy kept oopsing with a similar panic all the time if i enabled DMAR in the kernel by default ( that would be CONFIG_DMAR_DEFAULT_ON).
So, if the suggested bios upgrade doesnt help ( it didnt for me), just disable it ... in case you have it enabled of course.