yeah that does not sound correct I think its supposed to be 200mib it looks like there are a few bios updates regarding UEFI support, ACHI support and, 4gb install fix's.
what bios is your machine at there is a list of them here http://www.dell.com/support/home/us/en/04/Drivers/DriversDetails?driverId=WMHW9maybe your bios needs an update.