diff --git a/sys/amd64/amd64/fpu.c b/sys/amd64/amd64/fpu.c
index 48bfaa53c7b..11f9c5b9813 100644
--- a/sys/amd64/amd64/fpu.c
+++ b/sys/amd64/amd64/fpu.c
@@ -143,13 +143,6 @@ CTASSERT(sizeof(struct savefpu) == 512);
 CTASSERT(sizeof(struct xstate_hdr) == 64);
 CTASSERT(sizeof(struct savefpu_ymm) == 832);
 
-/*
- * This requirement is to make it easier for asm code to calculate
- * offset of the fpu save area from the pcb address. FPU save area
- * must be 64-byte aligned.
- */
-CTASSERT(sizeof(struct pcb) % XSAVE_AREA_ALIGN == 0);
-
 /*
  * Ensure the copy of XCR0 saved in a core is contained in the padding
  * area.