Asus PS4 - Manual (Page 130)

7-12 Chapter 7: Driver installation
4. Insert the RAID driver disk to the floppy disk drive. Type the command
acpi=off apic=bigsmp brokenmodules=ahci in Boot Options field, and
press <Enter>.
F1 Help F2 Language F3 Video Mode F4 Source F5 Kernel F6 Driver
English(US) 1024 X768 DVD Default Yes
Boot from Hard Disk
Installation
Repair Installed System
Rescue System
Check Installation Media
Firmware Test
Memory Test
Boot Options acpi=off apic=bigsmp brokenmodules=ahci
5. When below screen appears, select the USB floppy disk drive (sda) as the
driver update medium. Select OK, then press <Enter>.
Please choose the Driver Update medium.
OK Back
sda: USB Floppy
Other device