After a run-of-the-mill Windows BSOD, I was redirected to the UEFI settings and was presented with this fun little bug:

0GB ought to be enough for anybody.
0GB ought to be enough for anybody.