That's what I thought and I do have it in there, but for some reason it still doesn't boot without the SD card. I'm about to replace it with the latest version I have to see if anything changes.
Update: Seem like there was just a bad copy in CTRNAND replaced the file and everything seems to...